Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. version provided by web server;
  3. proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;
  4. unused;
Changeset 64388:14571c9e1d50 by wenzelm:
merged
Changeset 64387:2a4672722aaa by wenzelm:
version provided by web server;
The file was modified Admin/PLATFORMS (diff)
Changeset 64386:e936967c2a06 by wenzelm:
proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;
The file was modified Admin/Windows/Cygwin/isabelle/postinstall (diff)
Changeset 64385:d072d327b9b2 by wenzelm:
unused;
The file was removedAdmin/PIDE/README
The file was removedAdmin/PIDE/convert