tree 9351d456fa018710f47dd9a797a7494976200c9f
parent 7852fe1a3571194794369eeaa4c3877bb75b070e
author Jakub Josef <jakub.josef@gmail.com> 1489595751 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489596543 +0100

Implemented new version of pretty printing

Change-Id: I177bef2576f33cd47660e9c63110082ac7ed4bcd