script/rest/getscreennames.py
changeset 998 bf99ad0ba5ff
parent 891 8628c590f608