nico@207: \hypertarget{namespacetime_1_1_5}{
nico@207: \section{time::$\ast$ Namespace Reference}
nico@207: \label{namespacetime_1_1_5}\index{time::*@{time::$\ast$}}
nico@207: }
nico@207: 
nico@207: