script/rest/getscreennames.py
changeset 1288 1763d0a21003
parent 891 8628c590f608
equal deleted inserted replaced
1287:6be2ab981bee 1288:1763d0a21003