diff debian/menu @ 2785:c70b93e738e1

vivo_check_file uses also new textparser
author alex
date Fri, 09 Nov 2001 16:37:05 +0000
parents df0f1ace7a33
children 5bbf7a829280
line wrap: on
line diff