Files
gerrit/java
Edwin Kempin eec28de887 Remove key_map_type edit preference
The key_map_type preference was only used by CodeMirror in the GWT UI.
Since the GWT UI is gone this preference is no longer needed.

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: I962a3ab57c60a0a2a84e1f3e1992f78f005e5346
2019-12-30 16:37:06 +01:00
..