diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/pipe/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile index b520f5625d85..ba2874deaadc 100644 --- a/misc/pipe/Makefile +++ b/misc/pipe/Makefile @@ -8,7 +8,7 @@ CATEGORIES= misc java MASTER_SITES= SF/${PORTNAME}2/Pipe%202/PIPE2%20V${PORTVERSION} DISTNAME= pipe25_rc5 -MAINTAINER= stefan@fh-mainz.de +MAINTAINER= ports@FreeBSD.org COMMENT= A tool for creating and analysing Petri nets USES= zip |