diff options
| author | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-12-12 01:35:33 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-12-12 01:35:33 +0000 |
| commit | a9f015d155018758628ec8858a3d05e162673f67 (patch) | |
| tree | 404c2c9646ff0f64f0fea93eaedcd120dc980500 /lang/mlton/Makefile | |
| parent | af8af6976396d69ceebeff1fd9ca5d74d8394c7b (diff) | |
Notes
Diffstat (limited to 'lang/mlton/Makefile')
| -rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index e7a1f6d6a5c5..dcc45a339fd0 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20100608 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= lang MASTER_SITES= SF http://www.tbrk.org/distfiles/ DISTFILES= ${SRC_DIST} ${BOOT_DIST} |