diff options
Diffstat (limited to 'otherlibs/labltk/browser/useunix.mli')
| -rw-r--r-- | otherlibs/labltk/browser/useunix.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/useunix.mli b/otherlibs/labltk/browser/useunix.mli index 7d5f5c97c..52ac7c770 100644 --- a/otherlibs/labltk/browser/useunix.mli +++ b/otherlibs/labltk/browser/useunix.mli @@ -7,7 +7,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. *) (* *) (*************************************************************************) |