script/rest/getscreennames.py
changeset 1371 b292a3e7f56f
parent 891 8628c590f608