diff man/mule.texi @ 41374:608e18d9fb18

Fix cross-references to "Resources".
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Nov 2001 19:37:34 +0000
parents b7eed8a7f650
children 44bde4d34db7
line wrap: on
line diff