diff make-dist @ 105417:a9208a10f543

Add window-full-height-p.
author Glenn Morris <rgm@gnu.org>
date Sun, 04 Oct 2009 00:42:47 +0000
parents b51e687e8c81
children a431286b73b3
line wrap: on
line diff