diff options
Diffstat (limited to 'ocamldoc/odoc_cross.ml')
| -rw-r--r-- | ocamldoc/odoc_cross.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/odoc_cross.ml b/ocamldoc/odoc_cross.ml index d9f99f3878..4134ea84b8 100644 --- a/ocamldoc/odoc_cross.ml +++ b/ocamldoc/odoc_cross.ml @@ -9,6 +9,7 @@ (* *) (***********************************************************************) +(* $Id$ *) (** Cross referencing. *) @@ -810,3 +811,5 @@ let associate module_list = let _ = associate_type_of_elements_in_comments module_list in () + +(* eof $Id$ *) |