PACKAGE="org.w3c.jigedit.tools"

FILES = \
	ToolsListerFrame.java \
	ToolsLister.java

include $(MAKEDIR)/file.make
