Merge pull request #13 from bgamari/master
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 20 Dec 2015 21:04:59 +0000 (21:04 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 20 Dec 2015 21:04:59 +0000 (21:04 +0000)
commite801ee01698baa20d7a56e57768104f74ac35ffa
treeb05dca1bc9bfb220d0cf5cba8bab074045330da5
parent0c9d7d887552956816e5acee725dbc79f591b18d
parentc7a0c197ec98a64089af06a9efd0a8f41bfddead
Merge pull request #13 from bgamari/master

Consolidate box pretty-printing