2020-07-11 | Andreas Müller | cleanup | blob | commitdiff | raw |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | blob | commitdiff | raw | diff to current |
2017-10-31 | Patrick Plitzner | ref #6568 Adjust space ratios for perspectives | blob | commitdiff | raw | diff to current |
2017-10-27 | Patrick Plitzner | fix #6568 Migrate perspectives | 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 |