2020-01-08 | Roland Schulz | Merge release-2019 into release-2020 | blob | commitdiff | raw |
2019-12-30 | Paul Bauer | Fix build error with wrong name from cached cmake file | blob | commitdiff | raw |
2019-12-28 | Mark Abraham | Merge "Merge origin/release-2019 into release-2020... | blob | commitdiff | raw | diff to current |
2019-12-27 | Paul Bauer | Add copyright check and improve cache usage | blob | commitdiff | raw | diff to current |
2019-12-27 | Paul Bauer | Merge origin/release-2019 into release-2020 | blob | commitdiff | raw | diff to current |
2019-12-23 | Paul Bauer | Add files for Gitlab CI | blob | commitdiff | raw | diff to current |