log

age author description
Tue, 17 Jun 2008 16:33:06 +0000 Martin Rudalics (split-height-threshold): Remove spurious extra line.