diff options
Diffstat (limited to 'lang/polyml')
-rw-r--r-- | lang/polyml/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 423041efee89..c1a31e08c439 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -1,5 +1,3 @@ -# Created by: Timothy Bourke <timbob@bigpond.com> - PORTNAME= polyml PORTVERSION= 5.9 DISTVERSIONPREFIX= v |