script/rest/getscreennames.py
changeset 1053 59db337826e6
parent 891 8628c590f608