diff TOOLS/mpconsole.sh @ 31995:2868b79aa4c5

Remove a useless "else".
author reimar
date Wed, 08 Sep 2010 18:01:56 +0000
parents 305dc504c407
children
line wrap: on
line diff