diff COPYING @ 79234:af5770de00cc

(window_min_size_2): Don't count header-line.
author Martin Rudalics <rudalics@gmx.at>
date Fri, 26 Oct 2007 20:49:12 +0000
parents ab447da32127
children
line wrap: on
line diff