script/rest/getscreennames.py
changeset 528 7fb5a7b0d35c
parent 9 bb44692e09ee
child 891 8628c590f608