Re: [LyX master] Add a WIN32 equivalent for gettimeofday

[Jean-Marc Lasgouttes]

25/03/2013 14:17, Vincent van Ravesteijn:

If needed, we can write it ourselves probably as well. Would be a nice
exercise for the reader ;).

At first I thought you were exaggerating, but it is actually a good idea.

JMarc