Merge pull request #103 from MrAnno/fix-install-paths #39
MrAnnodevshell.yml
on: push
distcheck
7m 19s
style-check
1m 59s
copyright-check
2m 3s
commits-check
30s
Matrix: general