]> andersk Git - splint.git/blame - test/rc3.splintrc
Added html version of manual. (This is the 7 Jan 2002 version.)
[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.076977 seconds and 5 git commands to generate.