2018-10-25 | Katja Luther | local preferences database specific | blob | commitdiff | raw |
2018-02-15 | Patrick Plitzner | ref #7268 Implement own extension point for preferences | blob | commitdiff | raw | diff to current |
2017-01-19 | jenkins | Merge branch 'release/4.5.0' 4.5.0 | blob | commitdiff | raw | diff to current |
2017-01-13 | Patrick Plitzner | Merge branch 'develop' into LibrAlign | blob | commitdiff | raw | diff to current |
2016-12-20 | Andreas Kohlbecker | ref #6190 removing svn property place holder in first... | blob | commitdiff | raw | diff to current |
2012-07-11 | Andreas Kohlbecker | merging in latest changes from trunk | blob | commitdiff | raw | diff to current |
2011-10-12 | n.hoffmann | bumping version number to 3.0.7 for release | blob | commitdiff | raw | diff to current |