]> andersk Git - splint.git/blob - test/pivo.h
Committed my changes (but there are several splintme errors currently).
[splint.git] / test / pivo.h
1 typedef /*@abstract@*/ int pivo;
This page took 0.036922 seconds and 5 git commands to generate.