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.
no longer removes *.z
authorlcp
Thu, 03 Feb 1994 17:16:40 +0100
changeset 263 d45f0af592f0
parent 262 024b242bc26f
child 264 ca6eb7e6e94f
no longer removes *.z
rm-logfiles file | annotate | diff | comparison | revisions
src/Tools/rm-logfiles file | annotate | diff | comparison | revisions 
--- a/rm-logfiles	Thu Feb 03 16:06:55 1994 +0100
+++ b/rm-logfiles	Thu Feb 03 17:16:40 1994 +0100
@@ -1,6 +1,6 @@
 #! /bin/sh
 #rm-logfiles: remove useless files from subdirectories
-rm log */make*.log */make*.log.gz */make*.log.z
+rm log */make*.log */make*.log.gz
 rm */test
 rm */.*.thy.ML
 rm */ex/.*.thy.ML
--- a/src/Tools/rm-logfiles	Thu Feb 03 16:06:55 1994 +0100
+++ b/src/Tools/rm-logfiles	Thu Feb 03 17:16:40 1994 +0100
@@ -1,6 +1,6 @@
 #! /bin/sh
 #rm-logfiles: remove useless files from subdirectories
-rm log */make*.log */make*.log.gz */make*.log.z
+rm log */make*.log */make*.log.gz
 rm */test
 rm */.*.thy.ML
 rm */ex/.*.thy.ML
isabelle