script/rest/getscreennames.py
changeset 1532 6f6294d607cd
parent 891 8628c590f608
equal deleted inserted replaced
1531:0c13d78ff496 1532:6f6294d607cd