diff TOOLS/vivodump.c @ 25787:143989c7a3bf

Avoid some pointer conversion warnings (the code is messy but not wrong)
author reimar
date Sun, 20 Jan 2008 09:50:50 +0000
parents 8e73e469970c
children 1ca484e74f18
line wrap: on
line diff