diff man/mule.texi @ 71958:17479ca5deda

Use real doublequote in menus.
author Richard M. Stallman <rms@gnu.org>
date Tue, 18 Jul 2006 00:09:02 +0000
parents e2891f905379
children abf2841bcbd7 138ce2701550
line wrap: on
line diff