diff make-dist @ 98190:06cc410bdefa

(diff-find-source-location): Update declaration.
author Glenn Morris <rgm@gnu.org>
date Tue, 16 Sep 2008 02:42:21 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff