From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Thu, 23 Aug 2018 00:01:12 +0200
Subject: Fix most doc issues raised by (checkdoc)

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

(limited to 'generic/pg-custom.el')

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index 8a7bb793..0c67c7a2 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -115,7 +115,7 @@ For example for coq on Windows you might need something like:
   :type '(repeat string)
   :group 'proof-shell)
 
-(defpgcustom quit-timeout 
+(defpgcustom quit-timeout
   (cond
    ((eq proof-assistant-symbol 'isar)    45)
    (t					 5))
-- 
cgit v1.2.3