web/data/uiprops.py
changeset 8027 9ac82788f67b
parent 7943 ad0581296e2c
child 8093 3efb83e4e8f3