author | wenzelm |
Tue, 24 Apr 2012 12:24:52 +0200 | |
changeset 47722 | 9d7473cfb9ea |
parent 47721 | 77d9881bc820 |
child 47723 | f43b8873743d |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/Cygwin/Cygwin-Setup.bat Tue Apr 24 12:24:52 2012 +0200 @@ -0,0 +1,4 @@ +@echo off + +"%CD%\contrib\cygwin-1.7.9\setup" --site http://isabelle.in.tum.de/cygwin --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin-1.7.9" +