Bruno Oliveira 994909270f Update release notes script after CHANGELOG changed location		2019-12-20 08:54:44 -03:00
..
publish-gh-release-notes.py	Update release notes script after CHANGELOG changed location	2019-12-20 08:54:44 -03:00
release.minor.rst	Fix hostname	2018-08-28 14:45:04 -07:00
release.patch.rst	Fix hostname	2018-08-28 14:45:04 -07:00
release.py	docs: move changelog to docs/en and allow sphinx directives	2019-11-28 21:23:58 -03:00
report-coverage.sh	Workaround curl bug which makes retries of fetching codecov.io/bash not work	2019-10-12 21:52:01 +03:00
retry.cmd	Upload code coverage from azure	2019-02-26 16:56:25 +01:00