From 1e28d7f7b91bab5aedc4ced583dfb3252b980220 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 13:35:17 +0000
Subject: Comments.

---
 generic/pg-custom.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index b534b44d..238b76b4 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -26,7 +26,7 @@
 
 ;;; Code:
 
-(require 'proof-utils)			; defpgcustom
+(require 'proof-utils)		   ; defpgcustom
 (require 'proof-config)		   ; for proof-toolbar-entries-default
 
 (defpgcustom x-symbol-enable nil
-- 
cgit v1.2.3