From ce105392fb939ec53bf66f45e1fe00fe8e9b4390 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Mon, 2 Oct 2017 13:49:11 +0700
Subject: [PATCH] Remove unneeded files

---
 ~mythril/contractstorage.fs       | Bin 166 -> 0 bytes
 ~mythril/contractstorage.fs.index |   1 -
 ~mythril/contractstorage.fs.lock  |   1 -
 ~mythril/contractstorage.fs.tmp   | Bin 106 -> 0 bytes
 4 files changed, 2 deletions(-)
 delete mode 100644 ~mythril/contractstorage.fs
 delete mode 100644 ~mythril/contractstorage.fs.index
 delete mode 100644 ~mythril/contractstorage.fs.lock
 delete mode 100644 ~mythril/contractstorage.fs.tmp

diff --git a/~mythril/contractstorage.fs b/~mythril/contractstorage.fs
deleted file mode 100644
index 0eb20dc76095b45cf53453bd34e99e9f2d8b0805..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 166
zcmZ<@Ha1{BRL^(#iG3Oa1k6$Z(vl1enR%HdnTa_HDTyVCNr}a&3du#Oi6xo&c~Er>
zX!>BnEHDOxLj!YiL26NPW^qYsUWs0AVnIP>UOHC*T*wzHQplj!z+79%7y;4?vagV-
Mwvf444{FjZ08mXS3;+NC

diff --git a/~mythril/contractstorage.fs.index b/~mythril/contractstorage.fs.index
deleted file mode 100644
index 6504fe57..00000000
--- a/~mythril/contractstorage.fs.index
+++ /dev/null
@@ -1 +0,0 @@
-€K.€N.
\ No newline at end of file
diff --git a/~mythril/contractstorage.fs.lock b/~mythril/contractstorage.fs.lock
deleted file mode 100644
index 9c522da0..00000000
--- a/~mythril/contractstorage.fs.lock
+++ /dev/null
@@ -1 +0,0 @@
- 63031
diff --git a/~mythril/contractstorage.fs.tmp b/~mythril/contractstorage.fs.tmp
deleted file mode 100644
index 9734d4b615ef9a019987534226641b8a9e36b11b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 106
zcmZQzfB@!0^?Zk)*r!3cFp34nU~p()PA*6-D$Xn}NzE(K%S|jO$jnRU3V;jwLPZK0
Y^ct9J3mGFodQ%ch5(}AX3z>`c0A0HoQ2+n{