diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index d7919f19..7e706732 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2666,8 +2666,6 @@ If this table is empty or needs adjusting, please make changes using :type 'string :group 'proof-general-internals) -;; FIXME: da: could we put these into another keymap shared across the -;; various PG modes? (defcustom proof-universal-keys (cons (if proof-running-on-XEmacs |