]> andersk Git - splint.git/blame - test/rc3.splintrc
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / rc3.splintrc
CommitLineData
885824d3 1-externalnamelen 23
2internalnamelen 73
3+tmpdir /tmp/
4-tmpdir /tmp
5 -dump
6
This page took 2.078455 seconds and 5 git commands to generate.