Dev container removed

This is not maintained anymore
lowRISC · Nov 11, 2024 · 76d78b5 · 76d78b5
1 parent 1f5f67c
commit 76d78b5
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 96 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
diff --git a/.devcontainer/lowrisc.art b/.devcontainer/lowrisc.art
diff --git a/.devcontainer/terminals.json b/.devcontainer/terminals.json