From b35ce5388cfbd86b2be92e7acb56ff4aa215f58a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 5 Sep 2009 10:42:23 +0000
Subject: Clean whitespace

---
 coq/coq-autotest.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'coq/coq-autotest.el')

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index 35e21030..ec5465e2 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -16,4 +16,3 @@
 
   (pg-autotest-quit-prover)
   (pg-autotest-finished))
-
-- 
cgit v1.2.3