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