Add devcontainer (#4491)

devcontainers can be used by IDEs/editors like VS Code to create a standardized development environment in a container
2024-08-23 20:25:16 -05:00
parent 5514aab007
commit 8847945734
3 changed files with 55 additions and 0 deletions
@@ -0,0 +1,3 @@
+#!/usr/bin/env sh
+
+git submodule update --init