comparison man/mule.texi @ 72347:494f2c627b5b

Minor fix to last change.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 10 Aug 2006 16:07:43 +0000
parents e2891f905379
children abf2841bcbd7 138ce2701550
comparison
equal deleted inserted replaced
72346:adbd3421e276 72347:494f2c627b5b