diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-06 15:35:45 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-06 15:35:45 +0000 |
| commit | 38e95a4405c7f11f436f9d90278b54a39a659e66 (patch) | |
| tree | 0730bec98f49bccdb7ad6f07f063466398ef858c /otherlibs/unix | |
| parent | 00bcc2f94f80af4176b401454bdc99fa961f4a4b (diff) | |
Rectif documentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/unix.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 1801234ac..ff1f51cae 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -11,7 +11,7 @@ (* $Id$ *) -(* Interface to the Unix system *) +(* Module [Unix]: interface to the Unix system *) (*** Error report *) |