tree 47e83b7014d2194d3a8a24a2953a18b878035151
parent 04c11094ccf8930de8d273709abb076c159ac4e5
author Till Westmann <westmann@gmail.com> 1395087312 -0700
committer Till Westmann <westmann@gmail.com> 1395087312 -0700

reuse streams for pretty-printing