summaryrefslogtreecommitdiff
path: root/tools/build_website.py
AgeCommit message (Expand)Author
2021-10-26remove unused importsEli Schwartz
2021-08-31pylint: turn on superflous-parensDylan Baker
2020-09-08typing: fully annotate toolsDaniel Mensinger
2020-07-01Store website build script. [skip ci]Jussi Pakkanen