DOLFIN

  1. Bug #1072694
  2. Comment #10

Comment 10 for bug 1072694

Revision history for this message
Johan Hake (johan-hake) wrote :

I have now added timings to timing.h and moved list_timings to . After some fiddling it should be fine. However I need to run it on the buildbot before it is checked in.