diff man/mule.texi @ 71250:ffd47c04282f

(ediff-diff-mandatory-option): Protect against file-error.
author Jesper Harder <harder@ifa.au.dk>
date Tue, 06 Jun 2006 18:43:36 +0000
parents 99eb5fe9736b
children 926ae2520213 a8190f7e546e
line wrap: on
line diff