diff options
Diffstat (limited to 'devel/kimwitu')
-rw-r--r-- | devel/kimwitu/Makefile | 1 | ||||
-rw-r--r-- | devel/kimwitu/pkg-comment | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/devel/kimwitu/Makefile b/devel/kimwitu/Makefile index 54c68eaf8c8d..cef821bf0171 100644 --- a/devel/kimwitu/Makefile +++ b/devel/kimwitu/Makefile @@ -13,6 +13,7 @@ MASTER_SITES= ftp://ftp.cs.utwente.nl/pub/src/kimwitu/ DISTNAME= kc-distr.V${PORTVERSION:S/./_/g} MAINTAINER= ijliao@FreeBSD.org +COMMENT= A tool for processing trees (i.e. terms) WRKSRC= ${WRKDIR}/${DISTNAME}/src ALL_TARGET= diff --git a/devel/kimwitu/pkg-comment b/devel/kimwitu/pkg-comment deleted file mode 100644 index 12e1aa304eb3..000000000000 --- a/devel/kimwitu/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -A tool for processing trees (i.e. terms) |