lib/browser/Makefile
author ballarin
Tue, 30 Sep 2003 15:10:26 +0200
changeset 14213 7bf882b0a51e
parent 13971 aa5b6c8c7c4c
child 14539 90c625edaee1
permissions -rw-r--r--
Changed order of prems in finprod_cong. Slight speedup.

# $Id$

all:
	javac GraphBrowser/GraphBrowser.java GraphBrowser/Console.java

clean:
	rm -f GraphBrowser/*.class
	rm -f awtUtilities/*.class