diff options
Diffstat (limited to '.devcontainer')
| -rw-r--r-- | .devcontainer/x86-64/Containerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.devcontainer/x86-64/Containerfile b/.devcontainer/x86-64/Containerfile index 87a33b8..eb03057 100644 --- a/.devcontainer/x86-64/Containerfile +++ b/.devcontainer/x86-64/Containerfile @@ -12,6 +12,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install --yes --no- git-lfs \ grub2-common \ grub-pc \ + libcatch2-dev \ locales \ mtools \ ninja-build \ |