script/rest/getscreennames.py
changeset 1481 f4c8af4e6060
parent 891 8628c590f608