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.
clarified remark
authorhaftmann
Tue, 18 Sep 2007 07:36:10 +0200
changeset 24619 c2e6a0f8c30b
parent 24618 6ab574864cd4
child 24620 40811901b998
clarified remark
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Tue Sep 18 07:36:09 2007 +0200
+++ b/Admin/CHECKLIST	Tue Sep 18 07:36:10 2007 +0200
@@ -24,7 +24,7 @@
 
 - after release: 
     commit new Admin/website/include/documentationdist.include.html to CVS
-    [ commit new Admin/website/conf/distname.mak to CVS
+    !!! commit new Admin/website/conf/distname.mak to CVS
     !!! this is currently not part of CVS, so ignore this description;
     !!! perhaps we will need to add it
isabelle