diff config.bat @ 34409:eaeb04956022

(displayed_window_lines): Don't round up when converting empty space at bottom to lines.
author Miles Bader <miles@gnu.org>
date Mon, 11 Dec 2000 02:20:24 +0000
parents e1e1d5816d44
children 6722a8132e56
line wrap: on
line diff