Vadim Zeitlin e7cd875ab0 Ignore changes to more files in GitHub CI workflow ...

Don't bother rebuilding everything when nothing important has changed.

2021-02-01 10:48:17 +01:00

..

workflows

Ignore changes to more files in GitHub CI workflow

2021-02-01 10:48:17 +01:00

CONTRIBUTING.md

Use HTTPS with Trac links.

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