script/rest/getscreennames.py
changeset 1185 d4c76b9f1b90
parent 891 8628c590f608