move devcontainer (#113)

This commit is contained in:
Sebastian Raschka
2024-04-08 20:49:37 -04:00
committed by GitHub
parent b01204ca3a
commit 94f6582cff
6 changed files with 26 additions and 14 deletions

View File

@@ -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](../).