diff make-dist @ 54610:3ae52d0dfe0b

doc fixes and restore optionality of next-error's arg
author Daniel Pfeiffer <occitan@esperanto.org>
date Sun, 28 Mar 2004 08:32:16 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff