Simply use String.make for Pretty.padding and Pretty.line, since it's
[tatoo.git] / COPYING
2012-06-12 Kim NguyễnAdd autoconf infrastructure, license, and macro files.