tools/python/pkglint/__init__.py
changeset 1243 cf247f5101ae
parent 45 536ea324b223
child 5682 94c0ca64c022
equal deleted inserted replaced
1242:f52d88cf6f9e 1243:cf247f5101ae