diff TOOLS/vivodump.c @ 36153:affa86541a51

Avoid dead code and a memleak.
author reimar
date Tue, 07 May 2013 20:39:18 +0000
parents a86413775fbe
children
line wrap: on
line diff