fix banner printing
authorTaco Hoekwater <taco@metatex.org>
Thu, 3 Jul 2008 08:40:38 +0000 (08:40 +0000)
committerTaco Hoekwater <taco@metatex.org>
Thu, 3 Jul 2008 08:40:38 +0000 (08:40 +0000)
commit2a33213a1c42f22990ad6579369c1fdcf8f54305
treeb7cf02537a1bc7296687f0df4ec64fa892abd6e8
parent688ccf343e00c8fc2df137085e3f75bae25359f0
fix banner printing

git-svn-id: svn+ssh://scm.foundry.supelec.fr/svn/metapost/mplib/trunk@593 b0617d17-b707-0410-b22c-fd2634e05cc4
src/texk/web2c/mpdir/mpxout.w