script/rest/getscreennames.py
changeset 1420 2a3e795d7a06
parent 891 8628c590f608