diff make-dist @ 42438:60712692fdbc

Remove unnecessary whitespace.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 30 Dec 2001 22:07:35 +0000
parents 62671693b79f
children e13df10b6b63
line wrap: on
line diff