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.
Admin/cvs-copy
changeset 9796 68a7ef151426
parent 9781 32378f1c2f17
child 12721 226fc0e2e7e3 
--- a/Admin/cvs-copy	Fri Sep 01 19:49:04 2000 +0200
+++ b/Admin/cvs-copy	Sat Sep 02 21:44:31 2000 +0200
@@ -52,7 +52,7 @@
     do
       if [ -n "$NAME" ]; then
         if [ "$TYPE" = D ]; then
-          echo "${PREFIX}$NAME"
+          echo "X ${PREFIX}$NAME"
           mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'"
           copy "${PREFIX}$NAME/" || return "$?"
         else
isabelle