diff make-dist @ 41006:fd83ec62a495

Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 13 Nov 2001 11:55:47 +0000
parents 80822bf12d5e
children 1daffd332bcd
line wrap: on
line diff