diff options
Diffstat (limited to 'src/lib/time/lib_time.dox')
| -rw-r--r-- | src/lib/time/lib_time.dox | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/lib/time/lib_time.dox b/src/lib/time/lib_time.dox index 8e1e30859d..b76a31fb97 100644 --- a/src/lib/time/lib_time.dox +++ b/src/lib/time/lib_time.dox @@ -1,4 +1,11 @@ /** @dir /lib/time -@brief lib/time +@brief lib/time: Higher-level time functions + +This includes both fine-grained timers and monotonic timers, along with +wrappers for them to try to improve efficiency. + +For "what time is it" in UTC, see \refdir{lib/wallclock}. For parsing and +encoding times and dates, see \refdir{lib/encoding}. + **/ |