comparison TOOLS/vivodump.c @ 18744:212b36a111f3

Consistency fix. 10l to Diego for missing this.
author rathann
date Sun, 18 Jun 2006 09:02:38 +0000
parents fa17424b4c7b
children b5e31dca2b0b
comparison
equal deleted inserted replaced
18743:087415a46292 18744:212b36a111f3