diff man/mule.texi @ 27765:277138d0f9f1

Remove @dots from encode-time header.
author Dave Love <fx@gnu.org>
date Fri, 18 Feb 2000 20:00:55 +0000
parents 0699f691fac1
children ccadb68eaefd
line wrap: on
line diff