web/data/uiprops.py
changeset 8032 bcb87336c7d2
parent 7943 ad0581296e2c
child 8093 3efb83e4e8f3