2018-05-17 | jenkins | Merge branch 'release/5.0.0' 5.0.0 | blob | commitdiff | raw |
2018-02-15 | Patrick Plitzner | ref #7268 Implement own extension point for preferences | blob | commitdiff | raw |
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 |
2011-03-16 | n.hoffmann | had to rename the packages to make them compliant with... | blob | commitdiff | raw | diff to current |