Dan Helfman 932848f6c1 Merge branch 'master' into docs-image.		2019-05-20 19:23:12 -07:00
..
docs	Add files for building documentation into a Docker image for web serving.	2019-05-20 11:41:39 -07:00
find-unsupported-borg-options
pip	Upgrade pip to a particular version during local test and CI.	2019-05-14 10:28:04 -07:00
push
release
run-tests	Add build server upgrade to NEWS.	2019-05-20 19:20:05 -07:00