From 4602ed1b0e7df6739f40bc13ab051072d3c64ef6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2007 16:09:31 +0000
Subject: Comments.

---
 generic/proof-config.el | 2 --
 1 file changed, 2 deletions(-)

(limited to 'generic')

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 
-- 
cgit v1.2.3