From a4c0501d4007ad5f2d2f43c2cb5d1d5f137c6618 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 1998 13:57:46 +0000
Subject: Fixup branch number

---
 coq/coq-syntax.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'coq')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 55d68f35..6c697553 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -4,6 +4,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 2.0  1998/09/09 13:57:04  da
+;; Fixup branch number
+;;
 ;; Revision 1.1  1998/09/03 13:51:13  da
 ;; Renamed for new subdirectory structure
 ;;
-- 
cgit v1.2.3