diff TOOLS/mpconsole.sh @ 27569:7c3d535aba22

Remove version string from name of local changes diff file.
author diego
date Sat, 13 Sep 2008 14:23:45 +0000
parents 305dc504c407
children
line wrap: on
line diff