tools/python/pkglint/userland.py
changeset 6888 3169870545c9
parent 6859 569bef81e3c4
child 7957 39baccd8f6e8
equal deleted inserted replaced
6887:56603fbcebee 6888:3169870545c9