diff make-dist @ 15728:fb60ef923bb5

(vip-get-filenames-from-buffer): Add &optional.
author Karl Heuer <kwzh@gnu.org>
date Wed, 17 Jul 1996 21:13:24 +0000
parents 409a68abc61c
children 80562f089595
line wrap: on
line diff