]> andersk Git - splint.git/blob - src/Headers/pp.h
andersk / splint.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Fixed some splintme errors from the previous code change.
[splint.git] / src / Headers / pp.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
4 **
5 */
6 # define DUMMY3 8
7 # define   DUMMY4 12
git-cvsimport mirror of splint
This page took 0.032869 seconds and 5 git commands to generate.