Skip to content
Commit bffa44df authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'process-timer' into 'master' 

Add a ProcessTimer class for recording timing data.

See merge request inducer/pytools!15
parents dd3bd115 12f56026
Pipeline #12126 passed with stage
in 37 seconds