diff TOOLS/vivodump.c @ 23629:cb1277fb9d7e

get rid of useless *alloc casts
author reimar
date Sun, 24 Jun 2007 13:27:03 +0000
parents b5e31dca2b0b
children 46148e1b6cd0
line wrap: on
line diff