script/rest/getscreennames.py
changeset 1552 54c45d7932f7
parent 891 8628c590f608