script/rest/getscreennames.py
changeset 1298 26f765d57fcf
parent 891 8628c590f608