diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-12-07 13:41:02 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-12-07 13:41:02 +0000 |
| commit | 7501784c805833fd9e633d88b4aa80924976d82a (patch) | |
| tree | b2318bf34300332fb77e67d8902a004477c29870 /tools/profiling.mli | |
| parent | 658e8f683a8e031e71d9ddb3ee7a182d771386a2 (diff) | |
| download | ocaml-7501784c805833fd9e633d88b4aa80924976d82a.tar.gz | |
MAJ en-tetes pour mentionner la 'special exception' sur la LGPL
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/profiling.mli')
| -rw-r--r-- | tools/profiling.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/profiling.mli b/tools/profiling.mli index 4b8a9dd46c..7a6170e966 100644 --- a/tools/profiling.mli +++ b/tools/profiling.mli @@ -7,7 +7,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) |