Commit 42d2bfb5 authored May 02, 2019 by Andreas Klöckner

Merge branch 'eoc-pretty-print' into 'master'

EOCRecorder: pretty print formatting

See merge request inducer/pytools!28