Minor improvement: Check sources#3502

chriseth merged 1 commit intoargotorg:developargotorg/solidity:developfrom

aarlt:minor_fix_no_input_sources_specifiedaarlt/solidity:minor_fix_no_input_sources_specifiedCopy head branch name to clipboard