script/rest/getscreennames.py
changeset 1493 6b41c6c44123
parent 891 8628c590f608