summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_parser.mly
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_parser.mly')
-rw-r--r--ocamldoc/odoc_parser.mly2
1 files changed, 0 insertions, 2 deletions
diff --git a/ocamldoc/odoc_parser.mly b/ocamldoc/odoc_parser.mly
index e62dcc551..ea7d9a570 100644
--- a/ocamldoc/odoc_parser.mly
+++ b/ocamldoc/odoc_parser.mly
@@ -10,8 +10,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
open Odoc_types
open Odoc_comments_global