changeset 63734 | 133e3e84e6fb |
parent 63422 | 5cf8dd98a717 |
child 63986 | c7a4b03727ae |
--- a/src/Tools/jEdit/lib/Tools/jedit Tue Aug 30 14:47:23 2016 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Tue Aug 30 21:56:14 2016 +0200 @@ -42,6 +42,7 @@ "src/jedit_options.scala" "src/jedit_resources.scala" "src/jedit_sessions.scala" + "src/keymap_merge.scala" "src/monitor_dockable.scala" "src/output_dockable.scala" "src/pide_docking_framework.scala"