]> andersk Git - splint.git/blame - test/rc3.splintrc
Fixed inclusion problems with osd.h.
[splint.git] / test / rc3.splintrc
CommitLineData
885824d3 1-externalnamelen 23
2internalnamelen 73
3+tmpdir /tmp/
4-tmpdir /tmp
5 -dump
6
This page took 1.911935 seconds and 5 git commands to generate.