diff --git a/.devcontainer/README.md b/.devcontainer/README.md new file mode 100644 index 0000000..2155b5a --- /dev/null +++ b/.devcontainer/README.md @@ -0,0 +1,3 @@ +# Optional Docker Environment + +This is an optional Docker environment for those users who prefer Docker. For more instructions, see the *Docker Environment Setup Guide* in [../appendix-A/04_optional-docker-environment](../appendix-A/04_optional-docker-environment). \ No newline at end of file