Wez Furlong d199178dd7 docs: avoid occasional page build failure ... Sometimes we race with the nightly build while it is deleting and uploading artifacts. Since they have stable names, just hard code those in the the markdown.		2020-01-11 09:49:17 -08:00
..
build-docs.sh	docs: code generation for release info	2019-12-29 21:24:08 -08:00
deploy.sh	Label the package as github for GitHub Actions	2019-12-29 19:12:00 -08:00
source-archive.sh	Remove some bulky artifacts from the source tarball	2019-12-24 13:13:41 -08:00
subst-release-info.py	docs: avoid occasional page build failure	2020-01-11 09:49:17 -08:00
tag.sh	scripts for tagging	2019-03-23 22:58:23 -07:00