diff options
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index a279870a4f52..32265c7f87cd 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -1,12 +1,12 @@ # New ports collection makefile for: portlint -# Version required: 1.55 +# Version required: 1.56 # Date created: 13 Jun 1997 # Whom: Jun-ichiro itojun Itoh <itojun@itojun.org> # -# $Id: Makefile,v 1.12 1997/10/12 00:28:00 itojun Exp $ +# $Id: Makefile,v 1.13 1997/10/13 11:30:18 itojun Exp $ # -DISTNAME= portlint-1.55 +DISTNAME= portlint-1.56 CATEGORIES= devel MASTER_SITES= ftp://ftp.foretune.co.jp/pub/tools/portlint/ EXTRACT_SUFX= .shar |