Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to polyml-test-b68438d33c69;
  2. clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
Changeset 69782:76f2d492627e by wenzelm:
updated to polyml-test-b68438d33c69;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 69781:a7529ac9c1c5 by wenzelm:
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
The file was modified src/Tools/jEdit/src/jEdit.props (diff)