chore: remove unnecessary file

terra-money · Nov 9, 2023 · 442dd78 · 442dd78
1 parent ee3c8de
commit 442dd78
Showing 1 changed file with 0 additions and 324 deletions.
diff --git a/x/wasmd/types/executed_contracts.pb.go b/x/wasmd/types/executed_contracts.pb.go