script/rest/getscreennames.py
changeset 1427 8b3d57a519eb
parent 891 8628c590f608