lemon/bits/mingw32_time.cc
changeset 2244 a28b4e0aa787
child 2391 14a343be7a5a