Added files to generate a binary package by doing make bindist

[splint.git] / test / pivo.h

typedef /*@abstract@*/ int pivo;