more uniform permissions;
authorwenzelm
Fri Jan 18 20:24:51 2013 +0100 (2013-01-18)
changeset 5097820edcc6a8def
parent 50977 983794d3b84f
child 50979 21da2a03b9d2
more uniform permissions;
Admin/Windows/Cygwin/isabelle/postinstall
Admin/Windows/Cygwin/isabelle/rebaseall
     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 +