On 01/09/10 14:06, Florian Rathgeber wrote: > Hi, > > The parameter "reset" to "dolfin::Logger::timing" has no effect, the > timing is always cleared. Didn't want to file a bug for such a small thing. >
Go ahead a file a bug report - that way it won't get lost. Garth > Florian _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
