Rename .devcontainer/Dockerfile to .devcontainer/custom-python/Docker…

…file
echoix · Nov 14, 2023 · 5655c97 · 5655c97
1 parent 4387e2a
commit 5655c97
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.devcontainer/Dockerfile → .devcontainer/custom-python/Dockerfile b/.devcontainer/Dockerfile → .devcontainer/custom-python/Dockerfile