]>
2019-01-09 | vsv | Merge remote-tracking branch 'origin/Toolbars_Management' | blob | commitdiff | raw |
2018-12-11 | mpv | Merge commit 'refs/tags/V9_2_0^{}' | blob | commitdiff | raw |
2018-11-19 | mpv | Fix problems reported by Christophe in mail 31.10.2018 | blob | commitdiff | raw |
2018-07-24 | mzn | Issue #2559, 2560: use different shapes validator for... | blob | commitdiff | raw | diff to current |
2018-07-20 | mzn | Issue #2559, 2560: use different shapes validator for... | blob | commitdiff | raw | diff to current |