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

1.5 KiB

Raw Blame History

View Raw