• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: src/settingseditor/settingseditor.ui

src/settingseditor/settingseditor.ui

changeset 307

4771720fe258

parent 286

04478da357d0

child 335

c5830bce1c23