script/rest/getscreennames.py
changeset 1344 5293c57ae0da
parent 891 8628c590f608