script/rest/getscreennames.py
changeset 957 e4d0094f097b
parent 891 8628c590f608