script/rest/getscreennames.py
changeset 1008 c015a6a1f567
parent 891 8628c590f608