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 192798730a52..bc5c2786916c 100644 --- a/devel/kimwitu++/Makefile +++ b/devel/kimwitu++/Makefile @@ -12,6 +12,7 @@ CATEGORIES= devel MASTER_SITES= http://site.informatik.hu-berlin.de/kimwitu++/ MAINTAINER= ports@FreeBSD.org +COMMENT= A tool for processing trees (i.e. terms) USE_BISON= yes USE_GMAKE= yes 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) |