tools/python/pkglint/__init__.py
changeset 338 e22e8717ebfa
parent 45 536ea324b223
child 5682 94c0ca64c022
equal deleted inserted replaced
337:dd36f6bd0e18 338:e22e8717ebfa