Remove unneeded files

7 years ago · ce105392fb
parent fec1c4421d
commit ce105392fb
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 @@
 63031
--- a/~mythril/contractstorage.fs.tmp
+++ b/~mythril/contractstorage.fs.tmp