script/rest/getscreennames.py
changeset 681 0e7c67ca410e
parent 9 bb44692e09ee
child 891 8628c590f608
equal deleted inserted replaced
680:b95935edabfd 681:0e7c67ca410e