diff options
author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-10-01 08:03:46 +0000 |
---|---|---|
committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-10-01 08:03:46 +0000 |
commit | 7b7fae27fa081580d57fa1a57ca1072b9f1527a3 (patch) | |
tree | 9421dccec718117d8844728634a6c20b2350f908 | |
parent | de5a1043c97c0ddbf9b2b3e6a7abe8aa4f84686a (diff) |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | camlp4/meta/pr_dump.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/meta/pr_dump.ml b/camlp4/meta/pr_dump.ml index bb2f37e59..e52f75b69 100644 --- a/camlp4/meta/pr_dump.ml +++ b/camlp4/meta/pr_dump.ml @@ -5,7 +5,7 @@ (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1998 Institut National de Recherche en Informatique et *) +(* Copyright 2001 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) |