script/rest/getscreennames.py
changeset 1403 beaa8c88a3a1
parent 891 8628c590f608