version 1.429, 2013/05/06 02:53:24 |
version 1.431, 2013/05/31 12:41:46 |
|
|
# Note: if you update the version number, please have a look at the |
# Note: if you update the version number, please have a look at the |
# changes between the CVS tag "pkglint_current" and HEAD. |
# changes between the CVS tag "pkglint_current" and HEAD. |
# After updating, please re-set the CVS tag to HEAD. |
# After updating, please re-set the CVS tag to HEAD. |
DISTNAME= pkglint-4.129 |
DISTNAME= pkglint-4.130 |
|
PKGREVISION= 1 |
CATEGORIES= pkgtools |
CATEGORIES= pkgtools |
MASTER_SITES= # none |
MASTER_SITES= # none |
DISTFILES= # none |
DISTFILES= # none |