2020-04-08 | Katja Luther | fix #8725: move preference | blob | commitdiff | raw |
2020-04-03 | Katja Luther | fix #8725: show IDinVoc in NamedArea Textfield, add... | blob | commitdiff | raw | diff to current |
2019-09-25 | Katja Luther | fix #8226: add new preferences for modifiers | blob | commitdiff | raw | diff to current |
2019-02-14 | jenkins | Merge branch 'release/5.5.0' 5.5.0 | blob | commitdiff | raw | diff to current |
2019-02-12 | Patrick Plitzner | Merge branch 'develop' into termSearch | blob | commitdiff | raw | diff to current |
2019-01-29 | Katja Luther | ref #7163: adapt labels and structure in local preferences | blob | commitdiff | raw | diff to current |