tools/python/pkglint/userland.py
changeset 1588 8117331776d5
parent 1512 f57514e19ede
child 1742 1bfc3321abb4
equal deleted inserted replaced
1587:314c74b881bc 1588:8117331776d5