PB 346a31d545 Remove TravisCI mentions from build scripts ...

Travis CI is not used anymore, remove its mentions from the build scripts.

2021-07-15 13:53:12 +02:00

..

workflows

Remove TravisCI mentions from build scripts

2021-07-15 13:53:12 +02:00

CONTRIBUTING.md

…