]> andersk Git - splint.git/blob - test/pivo.h
Committing after merging Evan's changes.
[splint.git] / test / pivo.h
1 typedef /*@abstract@*/ int pivo;
This page took 0.04891 seconds and 5 git commands to generate.