diff make-dist @ 32682:e58e4340d7e0

(resize-temp-buffer-window): Use `mode-line-window-height-fudge'.
author Miles Bader <miles@gnu.org>
date Fri, 20 Oct 2000 09:22:30 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff