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.
delete .cvsignore;
authorwenzelm
Thu, 28 Feb 2002 21:31:13 +0100
changeset 12986 58cd2ca93edc
parent 12985 9db054a40247
child 12987 b6db96775e52
delete .cvsignore;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Thu Feb 28 21:30:57 2002 +0100
+++ b/Admin/makedist	Thu Feb 28 21:31:13 2002 +0100
@@ -118,6 +118,7 @@
 
 $EXPORT
 $FIND . -name CVS -print | xargs rm -rf
+$FIND . -name .cvsignore -print | xargs rm -rf
 $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf
 $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf
 $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf
isabelle