diff man/mule.texi @ 71098:b98399840395

Small typo fixes.
author Carsten Dominik <dominik@science.uva.nl>
date Tue, 30 May 2006 16:31:32 +0000
parents 99eb5fe9736b
children 926ae2520213 a8190f7e546e
line wrap: on
line diff