Defines a stream buffer to be used for thread-safe output streams
Defines a stream buffer to be used for thread-safe output streams
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de