Florian Bruhin 907a4b0e5e Add path assertion to check_coverage.py. ... https://bitbucket.org/ned/coveragepy/issues/235 confuses me - maybe the XML format will change in the future to not contain the full filename? To make sure I'll add this assertion, then I'll notice.		2015-07-29 17:31:26 +02:00
..
pylint_checkers	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
__init__.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
build_release.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
check_coverage.py	Add path assertion to check_coverage.py.	2015-07-29 17:31:26 +02:00
ci_install.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
cleanup.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
freeze_tests.py	Add hypothesis to frozen tests.	2015-07-24 18:43:08 +02:00
freeze.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
gen_resources.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
misc_checks.py	Fix 'an user' spelling.	2015-06-29 17:49:19 +02:00
quit_segfault_test.sh	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
run_frozen_tests.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
run_profile.py	scripts: Use runcall in run_profile.py.	2015-07-24 15:01:18 +02:00
run_pylint_on_tests.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
segfault_test.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00
src2asciidoc.py	Move developer scripts to dev/ subfolder.	2015-06-28 22:31:30 +02:00