diff config.bat @ 39258:a8be9f0afdee

(ediff-get-meta-info): Take into account that data from `ediff-meta-info' properties need not be an overlay. From David Ponce <dponce@voila.fr>.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 12 Sep 2001 14:00:41 +0000
parents 6fd0d497fc9c
children 0c8e49f72976
line wrap: on
line diff