Commit 3379d3dad05e717bd000d27e01adb6d43f2d955c

Jim Meyering 2000-01-25T07:21:57

Require AC_HEADER_TIME rather than simply using it.