2021-09-20 | Katja Luther | ref #9746: also remove doubtful menu entry | blob | commitdiff | raw |
2021-09-06 | Katja Luther | fix #9746: remove unplaced and excluded from right... | blob | commitdiff | raw |
2019-08-29 | jenkins | Merge branch 'release/5.9.0' 5.9.0 | blob | commitdiff | raw | diff to current |
2019-08-23 | Katja Luther | ref #8282: add setDoubtful to setFlag menu in navigator | blob | commitdiff | raw | diff to current |