changeset 39349 | 2d0a4361c3ef |
parent 39348 | 6f9c9899f99f |
child 39353 | 7f11d833d65b |
--- a/src/Tools/Metis/src/Name.sig Mon Sep 13 21:09:43 2010 +0200 +++ b/src/Tools/Metis/src/Name.sig Mon Sep 13 21:11:59 2010 +0200 @@ -1,6 +1,6 @@ (* ========================================================================= *) (* NAMES *) -(* Copyright (c) 2004 Joe Hurd, distributed under the GNU GPL version 2 *) +(* Copyright (c) 2004 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Name =