Remove unneeded files

7 years ago · b293d0998d
parent 5763fe234c
commit b293d0998d
4 changed files with 0 additions and 2 deletions
--- a/~/.mythril/contractstorage.fs
+++ b/~/.mythril/contractstorage.fs
--- a/~/.mythril/contractstorage.fs.index
+++ b/~/.mythril/contractstorage.fs.index
@ -1 +0,0 @@
-<EFBFBD>K.<EFBFBD>N.
--- a/~/.mythril/contractstorage.fs.lock
+++ b/~/.mythril/contractstorage.fs.lock
@ -1 +0,0 @@
- 41402
--- a/~/.mythril/contractstorage.fs.tmp
+++ b/~/.mythril/contractstorage.fs.tmp