Wez Furlong 79e5c0e52d CI: set debconf to non-interactive and unblock ubuntu20 ... Also using sudo in the CI config if we don't need it.		2020-05-03 22:37:31 -07:00
..
appimage.sh	Generate builds for more platforms	2020-05-03 15:11:35 -07:00
build-docs.sh	docs: enable syntax highlighting for lua	2020-04-06 17:39:57 -07:00
deploy.sh	Generate builds for more platforms	2020-05-03 15:11:35 -07:00
generate-workflows.py	CI: set debconf to non-interactive and unblock ubuntu20	2020-05-03 22:37:31 -07:00
source-archive.sh	Remove some bulky artifacts from the source tarball	2019-12-24 13:13:41 -08:00
subst-release-info.py	Revise doc build for recent CI changes	2020-05-03 17:14:46 -07:00
tag.sh	scripts for tagging	2019-03-23 22:58:23 -07:00