tree d822e8f2fc8caf4914a1f60638ebf8d2aa88ba17
parent 6195767554da332e9f81e6510b07f7565ff8a538
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1434653578 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1434976856 +0200

Split HAVE_TIME into HAVE_TIME + HAVE_TIME_DATE

First one means we have time() but it may not return the actual wall clock
time, second means it does.