tree 176a170b439e134a3a9b54a3be7515e8f75e518b
parent 74b346949617e0019858c0d94793cd9671ab511b
author Jakub Josef <jakub.josef@gmail.com> 1489588558 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489588558 +0100

Fix pretty printing

Change-Id: I292c4991499f2b6385de09a912dd1e58477612ea