diff TOOLS/vivodump.c @ 29970:5733a5cd1339

configure also generates all main.xml files.
author diego
date Sun, 13 Dec 2009 23:54:46 +0000
parents 0f1b5b68af32
children b573c7c7173b
line wrap: on
line diff