##// END OF EJS Templates
Merge pull request #12647 from Carreau/darker-no-travis...
Merge pull request #12647 from Carreau/darker-no-travis Remove darker now that it's on github actions.
Matthias Bussonnier -
r26134:5da9f44f merge
Show More
Name Size Modified Last Commit Author
/ tools
alldeps
tests
autoformat_file Loading ...
backport_pr.py Loading ...
build_release Loading ...
check_sources.py Loading ...
configure-git-blame-ignore-revs.bat Loading ...
configure-git-blame-ignore-revs.sh Loading ...
fixup_whats_new_pr.py Loading ...
gen_latex_symbols.py Loading ...
gh_api.py Loading ...
git-mpr.py Loading ...
git-mrb Loading ...
github_stats.py Loading ...
make_tarball.py Loading ...
mknbindex.py Loading ...
release Loading ...
release_helper.sh Loading ...
retar.py Loading ...
testupload Loading ...
toollib.py Loading ...
update_whatsnew.py Loading ...