drop docker

risc0 · Feb 1, 2024 · 4543230 · 4543230
1 parent eb38ac6
commit 4543230
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/.dockerignore b/.dockerignore
diff --git a/Dockerfile b/Dockerfile