diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
| commit | 1a7544763729938e7009ead1e375e9bbf413afb0 (patch) | |
| tree | 62af78c28cd91597fe40391d4020cb47f697334a /doc | |
| parent | 11b4a98c3fc7014cdef123fea4081d58e8edbaa2 (diff) | |
better namespace handling in pretty print
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions