Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated URLs;
  2. merged
  3. more robust;
  4. avoid hardwired cygwin mirror;
  5. updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
Changeset 68378:22680a3f8346 by wenzelm:
updated URLs;
The file was modified README_REPOSITORY (diff)
Changeset 68377:1d1e9f9f8641 by wenzelm:
merged
Changeset 68376:78147871f5b3 by wenzelm:
more robust;
The file was modified Admin/Windows/Cygwin/Cygwin-Setup.bat (diff)
Changeset 68375:5714e8806060 by wenzelm:
avoid hardwired cygwin mirror;
The file was modified Admin/Windows/Cygwin/Cygwin-Setup.bat (diff)
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 68374:8740e1241555 by wenzelm:
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;<br>record cygwin mirror explicitly;
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)