script/rest/getscreennames.py
changeset 1334 e1d3c1469691
parent 891 8628c590f608