diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-09 20:52:24 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-09 20:52:24 +0000 |
| commit | 7c6393360c77c2798946364ff1f0ebaf63fc7601 (patch) | |
| tree | b674a614fc70a00481f49716d0d12fe947ce0ec7 /lang/twelf | |
| parent | 25c6186fcb062a0e76b303a4456ab8e3d11c721e (diff) | |
| download | ports-7c6393360c77c2798946364ff1f0ebaf63fc7601.tar.gz ports-7c6393360c77c2798946364ff1f0ebaf63fc7601.zip | |
Notes
Diffstat (limited to 'lang/twelf')
| -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)" |