diff options
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. *) (* *) (*************************************************************************) |