diff make-dist @ 84523:803a3c8107e8

Johan Bockg? <bojohan at gnu.org> (Fcall_interactively): Remove unused var `fun'.
author Glenn Morris <rgm@gnu.org>
date Thu, 13 Sep 2007 05:50:11 +0000
parents 76889be19a75
children 6fa9e8761256
line wrap: on
line diff