]> andersk Git - splint.git/blame - test/rc2.splintrc
Fixed problem with russian characters.
[splint.git] / test / rc2.splintrc
CommitLineData
885824d3 1+boolint +boolint
This page took 0.221689 seconds and 5 git commands to generate.