script/rest/getscreennames.py
changeset 952 d84f3621a0ee
parent 891 8628c590f608