diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 16:09:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 16:09:31 +0000 |
commit | 4602ed1b0e7df6739f40bc13ab051072d3c64ef6 (patch) | |
tree | 79eac841d738172ac68c9d4c0ffc048f7a2c4d21 /generic | |
parent | e11662b4c4586a1bbb9c88a20e996ef4e2ff1c85 (diff) |
Comments.
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 |