David-Wobrock 321b41ddd0 Start using GitHub Actions and remove Travis

2020-11-26 18:43:34 +01:00

..

cache.md

Split documentation to multiple files in docs/ and use markdown

2020-01-11 22:35:20 +01:00

publishing.md

Split documentation to multiple files in docs/ and use markdown

2020-01-11 22:35:20 +01:00

testing.md

Start using GitHub Actions and remove Travis

2020-11-26 18:43:34 +01:00