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

Merge pull request #791 from gnattishness/gnattishness-fix-flatten-packaging

Browse Source 
Rename __init__.y.py to __init__.py - fixes #790
pull/810/head
Feist Josselin 4 years ago committed by GitHub
parent d7957ea0e7 6f471487ab
commit 7bc508b104
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 0 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. 1
      slither/tools/flattening/export/__init__.py
  2. 0
      slither/tools/flattening/export/__init__.y.py
Write Preview
Loading…
Cancel
Save