2016-08-18 | Ivan Kohler | localize header / merge github#56 | blob | commitdiff | raw |
2016-08-18 | Ivan Kohler | Merge branch 'github/pr/57' | blob | commitdiff | raw |
2016-08-18 | Ivan Kohler | Merge branch 'github/pr/55_reprise' | blob | commitdiff | raw |
2016-04-05 | Mark Wells | persistent user prefs for UI pages, #41397 | blob | commitdiff | raw |