diff etc/GNU @ 42818:55ed8ccce828

(window-body-height): New function.
author Richard M. Stallman <rms@gnu.org>
date Fri, 18 Jan 2002 05:42:23 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff