script/rest/getscreennames.py
changeset 1105 6ad06757185a
parent 891 8628c590f608