diff man/mule.texi @ 54416:1801d78c3f81

(Advanced): Replace @unnumberedsubsec by @subheading (as suggested by Karl Berry). Update information about colored stars in menus. Add new subheading describing M-n.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 18 Mar 2004 02:48:20 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff