diff TOOLS/vivodump.c @ 30520:b7ef5e62a649

Remove useless code, QUERY_FORMAT already ensures the requested format is supported.
author reimar
date Sun, 14 Feb 2010 11:06:04 +0000
parents b573c7c7173b
children a86413775fbe
line wrap: on
line diff