diff make-dist @ 41385:374bc275366a

Delete empty line at the end of file.
author Pavel Janík <Pavel@Janik.cz>
date Fri, 23 Nov 2001 06:06:01 +0000
parents 1daffd332bcd
children 7c0b7eab16c4
line wrap: on
line diff