diff make-dist @ 43016:ee78d55b45f4

Minor formatting fixes in preparation of merging new version.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 29 Jan 2002 13:42:12 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff