diff TOOLS/vivodump.c @ 17838:4ed5dece9d09

remove useless cruft (binds variable)
author reimar
date Sun, 12 Mar 2006 21:47:15 +0000
parents fa17424b4c7b
children b5e31dca2b0b
line wrap: on
line diff