script/rest/getscreennames.py
changeset 1292 0eafb5aeaf69
parent 891 8628c590f608