script/rest/getscreennames.py
changeset 1298 26f765d57fcf
parent 891 8628c590f608
equal deleted inserted replaced
1297:5b2b25cd48bf 1298:26f765d57fcf