script/rest/getscreennames.py
changeset 960 0e7d2cb7ba09
parent 891 8628c590f608