Wez Furlong edd773c5a7 packaging: include the color schemes in the various packages ... we don't yet know how to load them, but this puts them there in readiness.		2020-01-12 20:51:14 -08:00
..
build-docs.sh	docs: code generation for release info	2019-12-29 21:24:08 -08:00
deploy.sh	packaging: include the color schemes in the various packages	2020-01-12 20:51:14 -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