From 65fd26be844beeea31e53dd67e1c7ffe6b3412b8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jan 2011 10:22:57 +0000
Subject: Remove comment

---
 generic/proof-menu.el | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 182368d9..741fab64 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -836,10 +836,6 @@ KEY is the optional key binding."
 		    (append cmds
 			    (if (> (length groups) 1) '("----"))
 			    ents)))))
-	;; (while setgs
-	;;   (setq ents (cons
-	;;	      (apply 'proof-menu-entry-for-setting (car setgs)) ents))
-	;;   (setq setgs (cdr setgs)))
 	(setq proof-menu-settings
 	      (list (cons "Settings"
 			  (nconc ents save)))))))
-- 
cgit v1.2.3