script/rest/getscreennames.py
changeset 1011 5a8a3d1069e2
parent 891 8628c590f608