diff TOOLS/mpconsole.sh @ 36315:e4ab2ab9eede

Factor out some common code.
author reimar
date Wed, 07 Aug 2013 18:21:06 +0000
parents 305dc504c407
children
line wrap: on
line diff