devtools/pkginfo.py
changeset 2234 1fbcf202882d
parent 1977 606923dff11b