diff options
| author | Larry Du <ldu0894@gmail.com> | 2025-02-17 06:43:59 +0000 |
|---|---|---|
| committer | Larry Du <ldu0894@gmail.com> | 2025-02-17 06:43:59 +0000 |
| commit | 628791c6ae152a1df96acd56cc16e0eff4909048 (patch) | |
| tree | 859453def5810b204b3ac0c2fc8cdc2c33cf31b4 /tools/devbox.sh | |
| parent | 8a4942ca96bc32c3f273a26ceda536adadac0615 (diff) | |
| parent | bed08974f66c5949d8bf07da563dcf426f47c395 (diff) | |
| download | riscv-processor-628791c6ae152a1df96acd56cc16e0eff4909048.tar.gz | |
Merge branch 'larry/rename' into 'main'
refactor: Renamed 'tools' to 'docker_tools'
See merge request falsestatement/riscv_linux!1
Diffstat (limited to 'tools/devbox.sh')
| -rwxr-xr-x | tools/devbox.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/devbox.sh b/tools/devbox.sh deleted file mode 100755 index afd7513..0000000 --- a/tools/devbox.sh +++ /dev/null @@ -1 +0,0 @@ -docker compose run --rm dev_environment /bin/bash |