From 7a319f1b0f3766882eb1e49073067fec3c2619f7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 28 Feb 2004 14:46:08 +0000
Subject: Comments.

---
 generic/proof-config.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 18fbffaf..cd1b0413 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1359,6 +1359,7 @@ for scripting commands), unless activated-interactively is set."
   :type 'number
   :group 'proof-script)
 
+;; FIXME: perhaps remove this setting?  Users rather object to it.
 (defcustom proof-indent-pad-eol nil
   "*Whether to add spaces to end of lines.
 If enabled, spaces are added to the end of lines in an attempt to improve
-- 
cgit v1.2.3