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

Merge pull request #2197 from crytic/remove-unused-files

Browse Source 
remove unused files
pull/2259/head
alpharush 11 months ago committed by GitHub
parent b8456ebd1a ea708cda4f
commit 3e62ea6c4b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 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. 0
      slither/core/children/__init__.py
  2. 0
      slither/core/children/child_event.py
Write Preview
Loading…
Cancel
Save