diff TOOLS/mpconsole.sh @ 32669:956db4f28a62

Attempt to fix example configure line.
author reimar
date Wed, 05 Jan 2011 15:13:47 +0000
parents 305dc504c407
children
line wrap: on
line diff