script/rest/getscreennames.py
changeset 1381 b3dfad491476
parent 891 8628c590f608