log

age author description
Mon, 27 Oct 2003 01:06:35 +0000 diego in configure --help output:
Mon, 27 Oct 2003 00:26:21 +0000 diego _ vs - in option names
Mon, 27 Oct 2003 00:23:39 +0000 diego _ ---> - in option names, approved by Alex.