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-abbrev.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 7a24bf6c..a5131f10 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -1,5 +1,5 @@
 ;;; coq-abbrev.el --- coq abbrev table and menus for ProofGeneral mode
-;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
+;; Copyright (C) 1994 - 1998 LFCS Edinburgh.
 ;; Authors: Healfdene Goguen, Pierre Courtieu
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
@@ -172,4 +172,3 @@
 
 
 (provide 'coq-abbrev)
-
-- 
cgit v1.2.3