time: use gettimeofday if clock_gettime not available (OS X < Sierra)
- Jan 31, 2017
-
-
Daniel Salzman authored
-
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.