]> andersk Git - splint.git/blame - test/rc3.splintrc
Doing the commit so that files can be taged.
[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.070502 seconds and 5 git commands to generate.