devtools/pkginfo.py
changeset 2451 b44611f734ba
parent 1977 606923dff11b