]>
2022-12-27 | Juergen Spitzmueller | MasterChild.ui: Group radio buttons (part of #12470) | blob | commitdiff | raw |
2020-03-13 | Juergen Spitzmueller | Fixup tooltips | blob | commitdiff | raw | diff to current |
2020-03-13 | Juergen Spitzmueller | Introduce maintain unincluded children "mostly" | blob | commitdiff | raw | diff to current |
2019-07-20 | Jean-Marc Lasgouttes | Rename frontend qt4 to qt | blob | commitdiff | raw | diff to current |