diff man/mini.texi @ 73199:346938bc30a1

fix doc
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Sun, 01 Oct 2006 15:45:16 +0000
parents bf3a186a50a6
children 3d45362f1d38 8a8e69664178
line wrap: on
line diff