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 55e2aa3384b6..a56e89432fca 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -1,12 +1,12 @@ # New ports collection makefile for: portlint -# Version required: 1.33 +# Version required: 1.43 # Date created: 13 Jun 1997 # Whom: Jun-ichiro itojun Itoh <itojun@itojun.org> # -# $Id: Makefile,v 1.4 1997/07/13 13:37:54 itojun Exp $ +# $Id: Makefile,v 1.5 1997/07/16 18:49:46 itojun Exp $ # -DISTNAME= portlint-1.33 +DISTNAME= portlint-1.43 CATEGORIES= devel MASTER_SITES= ftp://ftp.foretune.co.jp/pub/tools/portlint/ EXTRACT_SUFX= .shar |