comparison man/mule.texi @ 51270:827c306f0515

Add missing code from previous patch by David Ponce.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 27 May 2003 22:34:58 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
51269:0e4f36767c58 51270:827c306f0515