remove unused files

scroll-tech · Jan 6, 2025 · 5d58a35 · 5d58a35
1 parent ddbb06d
commit 5d58a35
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 301 deletions.
diff --git a/prover/src/coordinator_client/api.rs b/prover/src/coordinator_client/api.rs
diff --git a/prover/src/coordinator_client/errors.rs b/prover/src/coordinator_client/errors.rs
diff --git a/prover/src/coordinator_client/listener.rs b/prover/src/coordinator_client/listener.rs
diff --git a/prover/src/coordinator_client/types.rs b/prover/src/coordinator_client/types.rs