diff options
Diffstat (limited to 'src/OCamlMakefile')
-rw-r--r-- | src/OCamlMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/OCamlMakefile b/src/OCamlMakefile index 95df83f..342d4c4 100644 --- a/src/OCamlMakefile +++ b/src/OCamlMakefile @@ -5,7 +5,7 @@ # For updates see: # http://www.oefai.at/~markus/ocaml_sources # -# $Id$ +# $Id: OCamlMakefile 215492 2002-11-14 20:03:21Z prigaux $ # ########################################################################### |