diff man/mule.texi @ 65335:3faeba93ad9e

Document custom themes.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 05 Sep 2005 11:52:21 +0000
parents 3723093a21fd
children 9aa281f8a64b 2d92f5c9d6ae
line wrap: on
line diff