script/rest/getscreennames.py
changeset 1343 a3f261da2c04
parent 891 8628c590f608