tools/python/pkglint/userland.py
changeset 7122 630f5a510c0a
parent 6859 569bef81e3c4
child 7957 39baccd8f6e8