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

[wxWidgets.git] / wxPython / scripts / helpviewer

#!/usr/bin/env python

from wx.tools.helpviewer import main
main()