diff options
Diffstat (limited to 'licenses/noweb')
| -rw-r--r-- | licenses/noweb | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/licenses/noweb b/licenses/noweb deleted file mode 100644 index e1f338458..000000000 --- a/licenses/noweb +++ /dev/null @@ -1,22 +0,0 @@ -Noweb is copyright 1989-2000 by Norman Ramsey. All rights reserved. - -Noweb is protected by copyright. It is not public-domain -software or shareware, and it is not protected by a ``copyleft'' -agreement like the one used by the Free Software Foundation. - -Noweb is available free for any use in any field of endeavor. You may -redistribute noweb in whole or in part provided you acknowledge its -source and include this COPYRIGHT file. You may modify noweb and -create derived works, provided you retain this copyright notice, but -the result may not be called noweb without my written consent. - -You may sell noweb if you wish. For example, you may sell a CD-ROM -including noweb. - -You may sell a derived work, provided that all source code for your -derived work is available, at no additional charge, to anyone who buys -your derived work in any form. You must give permisson for said -source code to be used and modified under the terms of this license. -You must state clearly that your work uses or is based on noweb and -that noweb is available free of change. You must also request that -bug reports on your work be reported to you. |