script/rest/getscreennames.py
changeset 16 6d391ad4fd6a
parent 9 bb44692e09ee
child 891 8628c590f608
equal deleted inserted replaced
15:5d552b6a0e55 16:6d391ad4fd6a