script/rest/getscreennames.py
changeset 1241 0824150b91d7
parent 891 8628c590f608