diff options
| -rw-r--r-- | js/gui/KeyboardShortcuts.js (renamed from js/gui/keyboardshortcuts.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/js/gui/keyboardshortcuts.js b/js/gui/KeyboardShortcuts.js index 1a214696e..1a214696e 100644 --- a/js/gui/keyboardshortcuts.js +++ b/js/gui/KeyboardShortcuts.js |