| commit | 935d2efc37e06cfcee559579e90d5f8af01c442f | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Wed Mar 15 17:35:51 2017 +0100 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Wed Mar 15 17:49:03 2017 +0100 |
| tree | 9351d456fa018710f47dd9a797a7494976200c9f | |
| parent | 7852fe1a3571194794369eeaa4c3877bb75b070e [diff] |
Implemented new version of pretty printing Change-Id: I177bef2576f33cd47660e9c63110082ac7ed4bcd