Jon Ross-Perkins f417be79d2 Run apt-get update and install together (#2192) ...

This is a recommended best practice: https://docs.docker.com/develop/develop-images/dockerfile_best-practices/#apt-get

2022-09-22 15:16:17 -07:00

..

devcontainer.json

Rework of .devcontainer (#1816) (#1817)

2022-07-30 10:54:45 -07:00

Dockerfile

Run apt-get update and install together (#2192)

2022-09-22 15:16:17 -07:00