rillig c5f7c96ce2 pkgtools/pkglint: update to 5.7.15 ... Changes since 5.7.14: * Added a check for packages that have been removed from the file system but not been recorded in doc/CHANGES. This will help produce more accurate release statistics. * Small refactorings, as usual.		2019-07-01 22:25:52 +00:00
..
files	pkgtools/pkglint: update to 5.7.15	2019-07-01 22:25:52 +00:00
DESCR	pkgtools/pkglint*: Update DESCR to explain differences	2019-04-28 13:38:23 +00:00
distinfo	pkgtools/pkglint: don't access the internet during the build	2018-11-10 11:41:40 +00:00
Makefile	pkgtools/pkglint: update to 5.7.15	2019-07-01 22:25:52 +00:00
PLIST	pkgtools/pkglint: updated to 5.7.13	2019-06-10 19:51:57 +00:00
select.mk	pkgtools/pkglint: Update to 5.6.3	2018-10-03 22:27:53 +00:00