dolfin team mailing list archive

["Garth N. Wells" <gnw20@xxxxxxxxx>]

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     : dolfin@xxxxxxxxxxxxxxxxxxx
Unsubscribe : https://launchpad.net/~dolfin
More help   : https://help.launchpad.net/ListHelp