diff TOOLS/midentify.sh @ 31636:fc0080157cee

Remove useless casts
author reimar
date Sun, 11 Jul 2010 12:48:54 +0000
parents 305dc504c407
children 877e37095c2d
line wrap: on
line diff