Merge pull request #1420 from ethereum/slitherfix2

Browse Source

rm spaces in slither command

pull/1423/head

bunsenstraat 3 years ago committed by GitHub

parent aaeb64557e ea82aef964

commit 89d7745781

No known key found for this signature in database

GPG Key ID: 4AEE18F83AFDEB23

1 changed files with 3 additions and 3 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

Write Preview

Loading…

Cancel

Save