script/rest/getscreennames.py
changeset 1164 9128b85b5dea
parent 891 8628c590f608