diff options
| author | Joshua Yun <joshua@joshuayun.com> | 2025-02-18 04:47:08 +0000 |
|---|---|---|
| committer | Joshua Yun <joshua@joshuayun.com> | 2025-02-18 04:47:08 +0000 |
| commit | 642f558b2d626f1698ab4d1d78975ae2993ead4b (patch) | |
| tree | dfa4e50c419ae02ad2c5e24555cdcb2479e4d971 /docker_tools/devbox.sh | |
| parent | bbe63db4eb09b3a010f5e64907171e1706504a61 (diff) | |
| parent | 1bcf7d793861bb0bd1d980ac94dd4962b29e9328 (diff) | |
| download | riscv-processor-642f558b2d626f1698ab4d1d78975ae2993ead4b.tar.gz | |
chore: Merge branch 'joshua/docker' into 'main'
feat: Delete docker
See merge request falsestatement/riscv_linux!5
Diffstat (limited to 'docker_tools/devbox.sh')
| -rw-r--r-- | docker_tools/devbox.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docker_tools/devbox.sh b/docker_tools/devbox.sh deleted file mode 100644 index afd7513..0000000 --- a/docker_tools/devbox.sh +++ /dev/null @@ -1 +0,0 @@ -docker compose run --rm dev_environment /bin/bash |