diff options
Diffstat (limited to 'ocamldoc/odoc_module.ml')
| -rw-r--r-- | ocamldoc/odoc_module.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_module.ml b/ocamldoc/odoc_module.ml index a180cc7827..506a986da8 100644 --- a/ocamldoc/odoc_module.ml +++ b/ocamldoc/odoc_module.ml @@ -9,7 +9,7 @@ (* *) (***********************************************************************) -(* $Id$ *) +(* $Id: odoc_module.ml 12959 2012-09-27 13:12:51Z maranget $ *) (** Representation and manipulation of modules and module types. *) |