'configure' apparently doesn't bump the timestamp on config.h if it
[sgt/agedu] / alloc.h
2008-11-02 simonRename malloc.c to alloc.c, and my master Makefile...