Update .gitignore

7 years ago · f4681f5d79
parent a25932c9e3
commit f4681f5d79
5 changed files with 1 additions and 3 deletions
--- a/.gitignore
+++ b/.gitignore
@ -7,6 +7,3 @@ __pycache__
 mythril.egg-info
 build
 dist
 contracts.json
 hunt*
 *.fs*
--- a/mythril/database/contractstorage.fs
+++ b/mythril/database/contractstorage.fs
--- a/mythril/database/contractstorage.fs.index
+++ b/mythril/database/contractstorage.fs.index
--- a/mythril/database/contractstorage.fs.lock
+++ b/mythril/database/contractstorage.fs.lock
@ -0,0 +1 @@
 40818
--- a/mythril/database/contractstorage.fs.tmp
+++ b/mythril/database/contractstorage.fs.tmp