]> andersk Git - splint.git/blame - test/rc2.splintrc
Fix tracker issue 1837229.
[splint.git] / test / rc2.splintrc
CommitLineData
885824d3 1+boolint +boolint
This page took 0.092511 seconds and 5 git commands to generate.