dealii/dealii — pull request #240 by alrashedf (2014-11-10 15:00:03+00:00)
Title: Added get_lap_time() to Timer

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