script/rest/getscreennames.py
changeset 1335 a2187557367c
parent 891 8628c590f608