2 Commits

Author	SHA1	Message	Date
Ben Sturmfels	486f90a7f7	Remove "git submodule init && git submodule update" from Dockerfiles. ... These commands are run by `bootstrap.sh`. Also includes a couple more tidy-ups.	2020-04-14 16:40:38 +10:00
Ben Sturmfels	1e950c0d17	Rename Dockerfiles to be more specific.	2019-11-19 12:55:59 +11:00