'configure' apparently doesn't bump the timestamp on config.h if it
[sgt/agedu] / fgetline.h
2008-11-01 simon--scan-dump and --load options, for moving dump files...