From 65dac0040a45fe190370c7770111d2eba8121645 Mon Sep 17 00:00:00 2001 From: Akinori MUSHA Date: Fri, 21 Feb 2003 11:23:04 +0000 Subject: De-pkg-comment. --- devel/spin/Makefile | 1 + devel/spin/pkg-comment | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 devel/spin/pkg-comment (limited to 'devel/spin') diff --git a/devel/spin/Makefile b/devel/spin/Makefile index 0388bb315e23..2c3b6f988b56 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -14,6 +14,7 @@ MASTER_SITES= http://spinroot.com/spin/Src/ \ DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz MAINTAINER= jhanna@shaw.ca +COMMENT= An on-the-fly verification system for asynchronous concurrent systems DIST_SUBDIR= spin WRKSRC= ${WRKDIR}/Src3.5.2 diff --git a/devel/spin/pkg-comment b/devel/spin/pkg-comment deleted file mode 100644 index 3cce122e2137..000000000000 --- a/devel/spin/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -An on-the-fly verification system for asynchronous concurrent systems -- cgit v1.2.3