chore: remove unused certora script

0xb337r007 · Jul 24, 2024 · 06ff33f · 06ff33f
1 parent f0c7a17
commit 06ff33f
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/certora/scripts/verify-marketplace.sh b/certora/scripts/verify-marketplace.sh