script/rest/getscreennames.py
changeset 1205 d60e93548d6b
parent 891 8628c590f608
equal deleted inserted replaced
1204:30302b201bd8 1205:d60e93548d6b