diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-06-12 13:54:53 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-06-12 13:54:53 +0000 |
commit | a50bf522b7e3a8da8745224cce806ed86444207c (patch) | |
tree | 0a0a9bf6f730d49f6607a7481391f35fe3db497c | |
parent | 66414a42e8fddffa0c1f6b95449fb4ce4c109258 (diff) |
Ajout notices.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | otherlibs/dbm/dbm.c | 15 | ||||
-rw-r--r-- | otherlibs/dbm/dbm.ml | 13 | ||||
-rw-r--r-- | otherlibs/dbm/dbm.mli | 13 |
3 files changed, 40 insertions, 1 deletions
diff --git a/otherlibs/dbm/dbm.c b/otherlibs/dbm/dbm.c index b83f13f90..82398f9dc 100644 --- a/otherlibs/dbm/dbm.c +++ b/otherlibs/dbm/dbm.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Francois Rouaix, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1996 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <ndbm.h> #include <mlvalues.h> #include <alloc.h> @@ -6,7 +19,7 @@ #include <fcntl.h> -/* Quit close to sys_open_flags, but we need RDWR */ +/* Quite close to sys_open_flags, but we need RDWR */ static int dbm_open_flags[] = { O_RDONLY, O_WRONLY, O_RDWR, O_CREAT }; diff --git a/otherlibs/dbm/dbm.ml b/otherlibs/dbm/dbm.ml index e39e4c656..b237c9759 100644 --- a/otherlibs/dbm/dbm.ml +++ b/otherlibs/dbm/dbm.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type t type open_flag = diff --git a/otherlibs/dbm/dbm.mli b/otherlibs/dbm/dbm.mli index 8fb9dfa67..d9a5c1a69 100644 --- a/otherlibs/dbm/dbm.mli +++ b/otherlibs/dbm/dbm.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* DBM (NDBM) interface *) type t |