script/rest/getscreennames.py
changeset 1335 a2187557367c
parent 891 8628c590f608
equal deleted inserted replaced
1334:e1d3c1469691 1335:a2187557367c