Commit 9acd7fad1a75d4a75232fd5ae4d9e8068f1d5f38

Bruno Haible 2007-03-04T23:41:27

Rename GETTIMEOFDAY_REPLACEMENT to REPLACE_GETTIMEOFDAY.