diff 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
line wrap: on
line diff