script/rest/getscreennames.py
changeset 667 b6b48e73d440
parent 9 bb44692e09ee
child 891 8628c590f608
equal deleted inserted replaced
666:03a678c17f6d 667:b6b48e73d440