diff TOOLS/mpconsole.sh @ 36489:fe727e6ea07f

Fix wrong #ifdef. These variables are needed in any case.
author ib
date Thu, 16 Jan 2014 21:41:17 +0000
parents 305dc504c407
children
line wrap: on
line diff