summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_exception.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_exception.ml')
-rw-r--r--ocamldoc/odoc_exception.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/ocamldoc/odoc_exception.ml b/ocamldoc/odoc_exception.ml
index 930122f0e..a62cb7b7d 100644
--- a/ocamldoc/odoc_exception.ml
+++ b/ocamldoc/odoc_exception.ml
@@ -10,8 +10,6 @@
(* *)
(***********************************************************************)
-(* $Id$ *)
-
(** Representation and manipulation of exceptions. *)
module Name = Odoc_name