tools/python/pkglint/__init__.py
changeset 2183 5d00686e81da
parent 45 536ea324b223
child 5682 94c0ca64c022
equal deleted inserted replaced
2182:9f1202f3ddbd 2183:5d00686e81da