Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added "clean" target.
authorberghofe
Mon, 22 Oct 2001 14:58:05 +0200
changeset 11877 0f5ffa1497db
parent 11876 6ac0627167ed
child 11878 f5b7c69a5a57
Added "clean" target.
lib/browser/Makefile file | annotate | diff | comparison | revisions 
--- a/lib/browser/Makefile	Mon Oct 22 14:55:16 2001 +0200
+++ b/lib/browser/Makefile	Mon Oct 22 14:58:05 2001 +0200
@@ -5,3 +5,6 @@
 all:
 	javac GraphBrowser/GraphBrowser.java
 
+clean:
+	rm */*.class
+
isabelle