Summary
- tuned message;
- merged
- avoid conflict after initial keymap migration;
The file was modified | src/Tools/jEdit/src/keymap_merge.scala (diff) |
The file was modified | src/Tools/jEdit/src/jEdit.props (diff) |
The file was modified | src/Tools/jEdit/src/keymap_merge.scala (diff) |
The file was modified | src/Tools/jEdit/src/jEdit.props (diff) |