script/rest/getscreennames.py
changeset 1488 e2317b551727
parent 891 8628c590f608