script/rest/getscreennames.py
changeset 726 d82d070cf23e
parent 9 bb44692e09ee
child 891 8628c590f608
equal deleted inserted replaced
725:796881572d91 726:d82d070cf23e