diff TOOLS/mpconsole @ 25682:09f31d37d717

Remove another 2 useless casts
author reimar
date Sun, 13 Jan 2008 10:19:06 +0000
parents a818bbab1525
children
line wrap: on
line diff