Skip to content

Allow to provide a directory with additional json files from slither printer#1125

Draft
ggrieco-tob wants to merge 1 commit intomasterfrom dev-allow-additional-slither-info

Commits