devtools/pkginfo.py
changeset 2417 18a14c23413c
parent 1977 606923dff11b