]> andersk Git - splint.git/blame - test/pivo.h
Fixes after removing -unrecogcomments flag for make splintme.
[splint.git] / test / pivo.h
CommitLineData
885824d3 1typedef /*@abstract@*/ int pivo;
This page took 0.044926 seconds and 5 git commands to generate.