version 1.403, 2012/07/09 17:37:48 |
version 1.411, 2012/07/17 19:25:21 |
|
|
# 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.111 |
DISTNAME= pkglint-4.119 |
CATEGORIES= pkgtools |
CATEGORIES= pkgtools |
MASTER_SITES= # none |
MASTER_SITES= # none |
DISTFILES= # none |
DISTFILES= # none |