Vadim Zeitlin 52d63eedd2 Don't rerun CI builds for docs-only changes ...

Avoid running the builds unnecessarily.

2021-01-28 17:33:26 +01:00

..

workflows

Don't rerun CI builds for docs-only changes

2021-01-28 17:33:26 +01:00

CONTRIBUTING.md

Use HTTPS with Trac links.

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