Move build and run scripts to repo root (space-ros/space-ros#158)

eholum · Jul 22, 2024 · 3de49ee · 3de49ee
1 parent 89b6c11
commit 3de49ee
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docker/build.sh → build.sh b/docker/build.sh → build.sh
diff --git a/docker/run.sh → run.sh b/docker/run.sh → run.sh