use gettimeofday() instead of clock_gettime() as the latter lives in librt which...

[wxWidgets.git] / wxPython / docs / bin / docparser / __init__.py