diff options
Diffstat (limited to 'ocamldoc/odoc_control.ml')
| -rw-r--r-- | ocamldoc/odoc_control.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_control.ml b/ocamldoc/odoc_control.ml index b73796bf8a..3c94d1bb71 100644 --- a/ocamldoc/odoc_control.ml +++ b/ocamldoc/odoc_control.ml @@ -9,4 +9,4 @@ (* *) (***********************************************************************) -(* $Id$ *) +(* $Id: odoc_control.ml 10519 2010-06-04 19:19:34Z maranget $ *) |