running lint is simpler if the mp_metapost_version is a new string each time
authorTaco Hoekwater <taco@metatex.org>
Sat, 5 Jul 2008 13:36:24 +0000 (13:36 +0000)
committerTaco Hoekwater <taco@metatex.org>
Sat, 5 Jul 2008 13:36:24 +0000 (13:36 +0000)
commit99c9c5972fa7a8f6aebb8fce444af68d9568b9da
tree54d9ac683bccacaf8db6cd3c9ac4715b88df420f
parentb49cd60f608436f112b579280807895dd6f66c4d
running lint is simpler if the mp_metapost_version is a new string each time

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