tools/python/pkglint/userland.py
changeset 5983 f10ab5ae99d7
parent 5684 7bc997011220
child 6859 569bef81e3c4
equal deleted inserted replaced
5982:c29d0a2b6806 5983:f10ab5ae99d7