tools/python/pkglint/userland.py
changeset 1291 dbd9d49e8717
parent 1251 f1fb66b52f41
child 1512 f57514e19ede
equal deleted inserted replaced
1290:3215dd9c7e22 1291:dbd9d49e8717