Merge branch 'ubuntu20'
[kconfig-hardened-check.git] / bin /
2020-03-26 Alexander PopovAdd a wrapper for using the tool without installation...