diff make-dist @ 100388:a7231893cd7a

(declare-function): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Sat, 13 Dec 2008 04:12:45 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff