diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 20:13:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 20:13:43 +0000 |
commit | e8c46b475e6181cd4b532335c71aa0a66b9e3252 (patch) | |
tree | 2cfc9bbaa9d364eadc8ebff0f246560e26bec790 /coq/coqtags | |
parent | b0e292ff8236bbfa51a166cbab0c0902b41e2790 (diff) |
Spurious newline causing patch to fall over.
Diffstat (limited to 'coq/coqtags')
-rw-r--r-- | coq/coqtags | 1 |
1 files changed, 0 insertions, 1 deletions
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";} |