script/rest/getscreennames.py
changeset 1320 21b0393e3d11
parent 891 8628c590f608