Add wiki output for config file options - #3021

Add wiki output for config file options#3021

i9496752-source wants to merge 1 commit into

crytic:mastercrytic/slither:masterfrom

i9496752-source:config-wiki-optionsi9496752-source/slither:config-wiki-optionsCopy head branch name to clipboard