void  plug_set_report (struct arglist* desc, char* t) 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