script/rest/getscreennames.py
changeset 1555 942d10136be5
parent 891 8628c590f608