script/rest/getscreennames.py
changeset 1315 ee9605d3b19e
parent 891 8628c590f608