diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-17 19:25:38 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-17 19:25:38 +0000 |
| commit | d69407ce3daa887ba2e78296eb2f2515dfa46270 (patch) | |
| tree | e87cd78ea108a805d904d28f9f8a2e310cbc3d34 | |
| parent | cc05d2cf6268e9e39275bef623ba80dbd79516df (diff) | |
fix $Id$
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/db/db.ml | 2 | ||||
| -rw-r--r-- | otherlibs/db/db.mli | 2 | ||||
| -rw-r--r-- | stdlib/digest.mli | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/db/db.ml b/otherlibs/db/db.ml index 7bb9c5e23..129b690b9 100644 --- a/otherlibs/db/db.ml +++ b/otherlibs/db/db.ml @@ -10,7 +10,7 @@ (* *) (***********************************************************************) -(* $Id *) +(* $Id$ *) (* Module [Db]: interface to the DB databases *) diff --git a/otherlibs/db/db.mli b/otherlibs/db/db.mli index 9c85db38e..d919fa037 100644 --- a/otherlibs/db/db.mli +++ b/otherlibs/db/db.mli @@ -10,7 +10,7 @@ (* *) (***********************************************************************) -(* $Id *) +(* $Id$ *) (* Module [Db]: interface to the DB databases of type btree. Cf dbopen(3) *) diff --git a/stdlib/digest.mli b/stdlib/digest.mli index c25084ba9..83d48b1e9 100644 --- a/stdlib/digest.mli +++ b/stdlib/digest.mli @@ -10,7 +10,7 @@ (* *) (***********************************************************************) -(* $Id *) +(* $Id$ *) (* Module [Digest]: MD5 message digest *) |