lemon/bits/mingw32_time.h
changeset 2031 080d51024ac5
child 2035 e92071fadd3f