web/data/uiprops.py
changeset 8097 7e0d1fb1092d
parent 8093 3efb83e4e8f3
child 8104 71d9fb78b772
equal deleted inserted replaced
8096:e1b21db042d6 8097:7e0d1fb1092d