script/rest/getscreennames.py
changeset 1117 da3c38f393f7
parent 891 8628c590f608