script/rest/getscreennames.py
changeset 1532 6f6294d607cd
parent 891 8628c590f608