Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/rm-logfiles
changeset 2168 fcf18ada8904
parent 2161 c25714ca1c19
child 2955 92599a47a7ab 
--- a/src/Tools/rm-logfiles	Fri Nov 08 14:02:51 1996 +0100
+++ b/src/Tools/rm-logfiles	Fri Nov 08 14:04:38 1996 +0100
@@ -3,4 +3,4 @@
 #Remove useless files from subdirectories
 rm log */make*.log */make*.log.gz
 rm */test
-rm */.*.thy.ML */.*.thy.ML */*/.*.thy.ML
+rm */.*.thy.ML */*/.*.thy.ML
isabelle