tree 9444522473af9e508dfe4107ca933a2a356d4084
parent 7a8dea2c85b71d98596a21dd6c31128e76a23200
author Jakub Josef <jakub.josef@gmail.com> 1490359944 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1490359944 +0100

Moved pretty-printing to own function

Change-Id: I641fed7801975b04dcfc36b773d0f3b5900afb0d