diff options
Diffstat (limited to 'lang/twelf/Makefile')
| -rw-r--r-- | lang/twelf/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 8e790e9e6813..97ec56aed0bc 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -18,7 +18,6 @@ RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj WRKSRC= ${WRKDIR}/twelf -USE_REINPLACE= yes INFO= twelf RESTRICTED= "License is currently indeterminate (expected to be GPL)" |