From 35caeb7df8d47fa939936b6a94c467aad7819738 Mon Sep 17 00:00:00 2001 From: mnag Date: Wed, 29 Mar 2006 14:07:44 +0000 Subject: - Remove polyml. --- LEGAL | 1 - 1 file changed, 1 deletion(-) (limited to 'LEGAL') diff --git a/LEGAL b/LEGAL index afdabf803ec8..003215907e00 100644 --- a/LEGAL +++ b/LEGAL @@ -472,7 +472,6 @@ platon* biology/platon US$ 5000 for commercial users, (free for academic) pmake-*.tar.Z devel/pmake Non-commercial use only polygraph-*-src.tgz benchmarks/polygraph Redistribution is not permitted by license -polyml/polyml-* lang/polyml License agreement required before download poseidonCE-* java/poseidon Redistribution is not permitted ppsmall-* archivers/ppunpack No commercial redistribution prodosemu.* emulators/prodosemu Restrictive copyright on the ROM image -- cgit