From e8c46b475e6181cd4b532335c71aa0a66b9e3252 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 20:13:43 +0000
Subject: Spurious newline causing patch to fall over.

---
 coq/coqtags | 1 -
 1 file changed, 1 deletion(-)

diff --git a/coq/coqtags b/coq/coqtags
index 21cd0bfa..a166a5a9 100644
--- a/coq/coqtags
+++ b/coq/coqtags
@@ -2,7 +2,6 @@
 #
 # $Id$
 #
-
 undef $/;
 
 if($#ARGV<$[) {die "No Files\n";}
-- 
cgit v1.2.3