diff TOOLS/vivodump.c @ 4618:09198a119e39

added voctrl_guisupport and fixed some typos
author alex
date Sat, 09 Feb 2002 22:38:36 +0000
parents 5a8d7b6920d6
children 27da710563c2
line wrap: on
line diff