Willy Tarreau 80daaa1e9d CLEANUP: time: switch clockid_t to empty_t when not available
This is cleaner than using an int. We also get rid of the constants
that we don't need nor use.
2019-05-21 20:03:03 +02:00
..
2019-05-20 16:51:30 +02:00
2015-10-12 20:58:51 +02:00