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

Use HTTPS with Trac links.

2017-07-04 13:15:14 -06:00