Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. merged
  3. avoid conflict after initial keymap migration;
Changeset 63759:f81e5f492cf9 by wenzelm:
tuned message;
The file was modified src/Tools/jEdit/src/keymap_merge.scala (diff)
Changeset 63758:20ef5c1291da by wenzelm:
merged
Changeset 63757:a9159d30070f by wenzelm:
avoid conflict after initial keymap migration;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)