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