]> andersk Git - splint.git/blob - test/rc3.splintrc.os2
Committed my changes (but there are several splintme errors currently).
[splint.git] / test / rc3.splintrc.os2
1 -externalnamelen                23
2 internalnamelen 73
3 +tmpdir \spool\
4 -tmpdir \spool
5                   -dump
6   
This page took 0.037888 seconds and 5 git commands to generate.