script/rest/getscreennames.py
changeset 999 2ac0430550ff
parent 891 8628c590f608