diff TOOLS/mpconsole @ 25644:204826cfcfe7

Remove useless cast
author reimar
date Fri, 11 Jan 2008 20:10:39 +0000
parents a818bbab1525
children
line wrap: on
line diff