Sets the name of the report file used
Sets the name of the report file used. This function can only be used in plugin_run.
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de