diff man/mule.texi @ 76394:3d1773c7f473

Replace "win32".
author Richard M. Stallman <rms@gnu.org>
date Thu, 08 Mar 2007 17:54:14 +0000
parents 8ecf38ca6f33
children 4805684e0b00 dd7c098af727
line wrap: on
line diff