]> andersk Git - splint.git/blob - test/pivo.h
Fixed the readme file based on the information on the web page.
[splint.git] / test / pivo.h
1 typedef /*@abstract@*/ int pivo;
This page took 0.08769 seconds and 5 git commands to generate.