]> andersk Git - splint.git/blob - test/rc2.splintrc
Renamings to avoid conflicts with type names.
[splint.git] / test / rc2.splintrc
1 +boolint +boolint
This page took 0.036361 seconds and 5 git commands to generate.