diff TOOLS/vivodump.c @ 10225:785c945f6796

check for -dumpstream file writes, patch by Eric Lammerts <eric@lammerts.org>
author alex
date Sat, 31 May 2003 21:50:21 +0000
parents c671e9adbe22
children 4277e06630bf
line wrap: on
line diff