From 9bcc2b69b783009e1754889b725d237bb1731a14 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= Date: Wed, 18 Apr 2018 09:50:18 +0200 Subject: [PATCH] licenses: Remove noweb (package removed) --- licenses/noweb | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 licenses/noweb diff --git a/licenses/noweb b/licenses/noweb deleted file mode 100644 index e1f338458b28..000000000000 --- 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. -- 2.26.2