dealii/dealii — pull request #237 by alrashedf (2014-11-09 20:31:50+00:00)
Title: Added get_lap_time() to Timer

Added get_lap_time() to Timer which returns the time taken between the last start()/stop() cycle.