diff etc/ps-prin1.ps @ 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 f7aaa73f592e
children e5675426ff4c
line wrap: on
line diff