version 1.417, 2012/09/11 23:19:38 |
version 1.419, 2012/09/16 20:03:50 |
|
|
# 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.123 |
DISTNAME= pkglint-4.125 |
CATEGORIES= pkgtools |
CATEGORIES= pkgtools |
MASTER_SITES= # none |
MASTER_SITES= # none |
DISTFILES= # none |
DISTFILES= # none |