diff options
| author | Li Xuanji <xuanji@gmail.com> | 2018-04-11 19:20:39 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-12 03:08:41 +0800 |
| commit | 576964bd016e265db9720946d626b8af9b4e4b14 (patch) | |
| tree | fc8512232f6e5e41a367533a60aed3b74a7bfb0f /scripts/isoltest.sh | |
| parent | d50d1f0ac1841a1d287a216451e93573fc07474e (diff) | |
| download | dexon-solidity-576964bd016e265db9720946d626b8af9b4e4b14.tar.gz dexon-solidity-576964bd016e265db9720946d626b8af9b4e4b14.tar.zst dexon-solidity-576964bd016e265db9720946d626b8af9b4e4b14.zip | |
Mark --formal as deprecated in CLI options
Diffstat (limited to 'scripts/isoltest.sh')
0 files changed, 0 insertions, 0 deletions