mirror of https://github.com/ConsenSys/mythril
Update mythril_config.py - Remove TODO (#1814)
* Update mythril_config.py - Remove TODO * Remove # type:ignorepull/1817/head
parent
ecc79507ac
commit
90e0dd7097
Loading…
Reference in new issue