diff man/mule.texi @ 62353:0db5e423dce7

Various cleanups.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 May 2005 23:23:39 +0000
parents 30ce20575d8b
children e36c39f0af51 4da4a09e8b1b
line wrap: on
line diff