diff options
author | Tobias C. Berner <tcberner@FreeBSD.org> | 2022-07-20 14:22:15 +0000 |
---|---|---|
committer | Tobias C. Berner <tcberner@FreeBSD.org> | 2022-07-20 14:22:15 +0000 |
commit | f98ae56653d5255e3519da4e97d6edbaa7e6df91 (patch) | |
tree | 04972ad16670dd46e6dda1d55638b9fac25ac76d /lang/polyml | |
parent | 2d165cffa8eca23bfb9e2e793b182add9e116a72 (diff) | |
download | ports-f98ae56653d5255e3519da4e97d6edbaa7e6df91.tar.gz ports-f98ae56653d5255e3519da4e97d6edbaa7e6df91.zip |
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 |