Menu
▾
▴
Tree [r1830] / History
| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2018-12-20 | matthiasmossner | [r1827] #227: added possibility to set/change defaultIf... |
| tags | 2019-01-17 | bloehr | [r1828] Duplicate tag folder |
| trunk | 2019-01-28 | bloehr | [r1830] WARNINGs instead of errors |
