comparison TOOLS/vivodump.c @ 12976:79573b442def

We shouldn't translate filter names
author wight
date Mon, 09 Aug 2004 09:00:58 +0000
parents c671e9adbe22
children 4277e06630bf
comparison
equal deleted inserted replaced
12975:e605d348ee37 12976:79573b442def