2023-04-28 | Andreas Müller | ref #9502, ref #9503, ref #10308 use areaTree in distri... | blob | commitdiff | raw |
2023-04-28 | Andreas Müller | cleanup | blob | commitdiff | raw | diff to current |
2021-05-20 | jenkins | Merge branch 'release/5.23.0' 5.23.0 | blob | commitdiff | raw | diff to current |
2021-05-07 | Andreas Müller | add sizeAll to SetMap | blob | commitdiff | raw | diff to current |
2021-02-10 | jenkins | Merge branch 'release/5.20.0' 5.20.0 | blob | commitdiff | raw | diff to current |
2021-02-06 | Andreas Müller | fix compilation issue in SetMap | blob | commitdiff | raw | diff to current |
2021-02-06 | Andreas Müller | use SetMap in DescriptionUtility | blob | commitdiff | raw | diff to current |