web/data/uiprops.py
changeset 8068 72210779ff6d
parent 7943 ad0581296e2c
child 8093 3efb83e4e8f3