parse-datetime: do some more renaming
[gnulib.git] / lib / parse-datetime.y
2010-10-05 Paul Eggertparse-datetime: do some more renaming
2010-10-05 Eric Blakeparse-datetime: better name than get_date