diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-vars.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index e86fde61..5570fb56 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -259,7 +259,6 @@ user interaction.") ([(control c) (control p)] . proof-prf) ([(control c) (control l)] . proof-layout-windows) ([(control c) (control x)] . proof-shell-exit) - ([(control c) (control s)] . proof-shell-start) ([(control c) (control v)] . proof-minibuffer-cmd) ([(control c) (control w)] . pg-response-clear-displays) ([(control c) (control ?.)] . proof-goto-end-of-locked) |