diff options
Diffstat (limited to 'ocamldoc/odoc_comments_global.ml')
| -rw-r--r-- | ocamldoc/odoc_comments_global.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ocamldoc/odoc_comments_global.ml b/ocamldoc/odoc_comments_global.ml index 9dfc30dfb3..5fbe6406b5 100644 --- a/ocamldoc/odoc_comments_global.ml +++ b/ocamldoc/odoc_comments_global.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) @@ -9,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id: odoc_comments_global.ml 10519 2010-06-04 19:19:34Z maranget $ *) - (** The global variables used by the special comment parser.*) let nb_chars = ref 0 @@ -47,5 +46,3 @@ let init () = raised_exceptions := []; return_value := None ; customs := [] - -(* eof $Id: odoc_comments_global.ml 10519 2010-06-04 19:19:34Z maranget $ *) |