diff TOOLS/mpconsole.sh @ 36779:f5320e43d458

Simplify code. Use a variable and cast once.
author ib
date Mon, 17 Feb 2014 14:33:03 +0000
parents 305dc504c407
children
line wrap: on
line diff