2019-07-19 | jenkins | Merge branch 'release/5.8.0' 5.8.0 | blob | commitdiff | raw |
2019-06-04 | Katja Luther | merge hotfix5.7.3 into develop | blob | commitdiff | raw |
2019-05-06 | jenkins | Merge branch 'release/5.7.0' into develop | blob | commitdiff | raw |
2019-05-06 | Katja Luther | set default for search options if not existing | blob | commitdiff | raw |
2019-02-14 | jenkins | Merge branch 'release/5.5.0' 5.5.0 | blob | commitdiff | raw | diff to current |
2018-11-05 | Katja Luther | ref #7880: improve search configuration initialization | blob | commitdiff | raw | diff to current |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | blob | commitdiff | raw | diff to current |
2017-09-27 | Patrick Plitzner | fix #6990 Migrate search result view | blob | commitdiff | raw | diff to current |