-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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. Florian -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.12 (MingW32) iEYEARECAAYFAkx+T7gACgkQ8Z6llsctAxZibQCdEEi477cNW/8wzBOh6FWt2Hd4 hN8An1vwduwaK8aI4uYGkmNxEcG/PAoZ =eY58 -----END PGP SIGNATURE-----
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
