TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

v0.18.7

Browse Source
pull/304/head
Nikhil Parasaram 6 years ago committed by GitHub
parent 1b84ae98ff
commit 3ba2550354
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      setup.py

2
setup.py
Unescape View File

@ -6,7 +6,7 @@ import os
# Package version (vX.Y.Z). It must match git tag being used for CircleCI
# deployment; otherwise the build will failed.
VERSION = "v0.18.6"
VERSION = "v0.18.7"
class VerifyVersionCommand(install):

Write Preview
Loading…
Cancel
Save