Summary
- updated URLs;
- merged
- more robust;
- avoid hardwired cygwin mirror;
- updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
The file was modified | README_REPOSITORY (diff) |
The file was modified | Admin/Windows/Cygwin/Cygwin-Setup.bat (diff) |
The file was modified | Admin/Windows/Cygwin/Cygwin-Setup.bat (diff) |
The file was modified | Admin/lib/Tools/makedist_bundle (diff) |
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | Admin/Windows/Cygwin/Cygwin-Setup.bat (diff) |
The file was modified | Admin/Windows/Cygwin/README (diff) |
The file was modified | Admin/components/bundled-windows (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | src/Pure/Admin/build_cygwin.scala (diff) |