]> andersk Git - splint.git/blame - test/rc3.splintrc
Fixed Win32 files closed bug.
[splint.git] / test / rc3.splintrc
CommitLineData
885824d3 1-externalnamelen 23
2internalnamelen 73
3+tmpdir /tmp/
4-tmpdir /tmp
5 -dump
6
This page took 0.0701000000000001 seconds and 5 git commands to generate.