diff man/mini.texi @ 41555:3bd17f9a707f

ignore the generated files
author Sam Steingold <sds@gnu.org>
date Mon, 26 Nov 2001 15:27:43 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff