script/rest/getscreennames.py
changeset 975 e146a5eb33da
parent 891 8628c590f608