PACKAGE="org.w3c.jigedit.tools"

FILES = \
	ToolsListerFrame.java \
	ToolsLister.java

TOP=../../../../..
include $(TOP)/makefiles/file.make
