script/rest/getscreennames.py
changeset 961 4bd8dd1d046a
parent 891 8628c590f608