Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
more uniform permissions;
authorwenzelm
Fri, 18 Jan 2013 20:24:51 +0100
changeset 5199320edcc6a8def
parent 51992 983794d3b84f
child 51994 21da2a03b9d2
more uniform permissions;
Admin/Windows/Cygwin/isabelle/postinstall file | annotate | diff | comparison | revisions
Admin/Windows/Cygwin/isabelle/rebaseall file | annotate | diff | comparison | revisions 
     1.1 --- a/Admin/Windows/Cygwin/isabelle/postinstall	Fri Jan 18 20:16:47 2013 +0100
     1.2 +++ b/Admin/Windows/Cygwin/isabelle/postinstall	Fri Jan 18 20:24:51 2013 +0100
     1.3 @@ -9,3 +9,4 @@
     1.4  
     1.5  mkpasswd -l >/etc/passwd
     1.6  mkgroup -l >/etc/group
     1.7 +

     2.1 --- a/Admin/Windows/Cygwin/isabelle/rebaseall	Fri Jan 18 20:16:47 2013 +0100
     2.2 +++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Fri Jan 18 20:24:51 2013 +0100
     2.3 @@ -14,3 +14,4 @@
     2.4  dash /bin/rebaseall -T "$FILE_LIST"
     2.5  
     2.6  rm -f "$FILE_LIST"
     2.7 +
wneuper/isa