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.
proper permissions;
authorwenzelm
Thu, 17 Jan 2013 17:51:43 +0100
changeset 50958 af59600d8955
parent 50957 1005346154e8
child 50959 3e8835c53c5b
proper permissions;
Admin/lib/Tools/makedist_cygwin file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_cygwin	Thu Jan 17 17:47:09 2013 +0100
+++ b/Admin/lib/Tools/makedist_cygwin	Thu Jan 17 17:51:43 2013 +0100
@@ -77,3 +77,4 @@
 
 DATE=$(date +%Y%m%d)
 tar -C "$TARGET/.." -cz -f "cygwin-${DATE}.tar.gz" cygwin
+
isabelle