diff make-dist @ 41019:aa792c415dd6

Doc fixes.
author Jason Rumney <jasonr@gnu.org>
date Tue, 13 Nov 2001 19:03:48 +0000
parents 80822bf12d5e
children 1daffd332bcd
line wrap: on
line diff