summaryrefslogtreecommitdiff
path: root/man/ocamlyacc.m
diff options
context:
space:
mode:
Diffstat (limited to 'man/ocamlyacc.m')
-rw-r--r--man/ocamlyacc.m2
1 files changed, 0 insertions, 2 deletions
diff --git a/man/ocamlyacc.m b/man/ocamlyacc.m
index ce53cc4afa..133994e206 100644
--- a/man/ocamlyacc.m
+++ b/man/ocamlyacc.m
@@ -10,8 +10,6 @@
.\"* *
.\"***********************************************************************
.\"
-.\" $Id$
-.\"
.TH OCAMLYACC 1
.SH NAME