script/rest/getscreennames.py
changeset 1481 f4c8af4e6060
parent 891 8628c590f608
equal deleted inserted replaced
1480:d2d28468b410 1481:f4c8af4e6060