2018-04-11 | Patrick Plitzner | ref #7086 Add property and label to character details... | blob | commitdiff | raw |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | blob | commitdiff | raw | diff to current |
2017-11-02 | Patrick Plitzner | ref #7044 Migrate color theme | blob | commitdiff | raw | diff to current |