diff TOOLS/mplmult.sh @ 34429:9becec2ec9bc

Remove pointless cast.
author reimar
date Thu, 05 Jan 2012 15:46:48 +0000
parents 998475fffe0c
children 7bdb1c022122
line wrap: on
line diff