comparison TOOLS/vivodump.c @ 21629:1cdd7e6e4e87

Ignore main.xml properly
author torinthiel
date Sun, 17 Dec 2006 10:10:53 +0000
parents fa17424b4c7b
children b5e31dca2b0b
comparison
equal deleted inserted replaced
21628:6668da86cff9 21629:1cdd7e6e4e87