diff man/mule.texi @ 76945:f7f5c44ea73c

Add ascii-case-table and with-case-table.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 04 Apr 2007 16:02:37 +0000
parents 8ecf38ca6f33
children 4805684e0b00 dd7c098af727
line wrap: on
line diff