web/data/uiprops.py
changeset 8074 a7f76e322659
parent 7943 ad0581296e2c
child 8093 3efb83e4e8f3