diff make-dist @ 98794:72fc90d94beb

(Basic Windows, Splitting Windows): Fix whitespace and reword.
author Martin Rudalics <rudalics@gmx.at>
date Fri, 17 Oct 2008 13:15:56 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff