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 /otherlibs/labltk/example | |
| parent | 658e8f683a8e031e71d9ddb3ee7a182d771386a2 (diff) | |
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 'otherlibs/labltk/example')
| -rw-r--r-- | otherlibs/labltk/example/calc.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/example/clock.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/example/demo.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/example/eyes.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/example/hello.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/example/tetris.ml | 3 |
6 files changed, 12 insertions, 6 deletions
diff --git a/otherlibs/labltk/example/calc.ml b/otherlibs/labltk/example/calc.ml index c9373d0b7..ab1933618 100644 --- a/otherlibs/labltk/example/calc.ml +++ b/otherlibs/labltk/example/calc.ml @@ -8,7 +8,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/example/clock.ml b/otherlibs/labltk/example/clock.ml index 3105b03c8..eb1582f92 100644 --- a/otherlibs/labltk/example/clock.ml +++ b/otherlibs/labltk/example/clock.ml @@ -8,7 +8,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/example/demo.ml b/otherlibs/labltk/example/demo.ml index 4fcd0e02a..1b36d5ed1 100644 --- a/otherlibs/labltk/example/demo.ml +++ b/otherlibs/labltk/example/demo.ml @@ -8,7 +8,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/example/eyes.ml b/otherlibs/labltk/example/eyes.ml index 2e241a193..a875ce4b5 100644 --- a/otherlibs/labltk/example/eyes.ml +++ b/otherlibs/labltk/example/eyes.ml @@ -8,7 +8,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/example/hello.ml b/otherlibs/labltk/example/hello.ml index 603f62a8a..00805cd01 100644 --- a/otherlibs/labltk/example/hello.ml +++ b/otherlibs/labltk/example/hello.ml @@ -8,7 +8,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/example/tetris.ml b/otherlibs/labltk/example/tetris.ml index 28cc880d5..67dbcbd42 100644 --- a/otherlibs/labltk/example/tetris.ml +++ b/otherlibs/labltk/example/tetris.ml @@ -8,7 +8,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) |