update options
commitf75e0c6d62bf0960baf97a06321f2fdb9fd1a24c
authorbellard <bellard>
Mon, 15 Jul 2002 22:38:56 +0000 (15 22:38 +0000)
committerbellard <bellard>
Mon, 15 Jul 2002 22:38:56 +0000 (15 22:38 +0000)
treef17bc61aebaf8e50e48a97d377f100279baf5e86
parenta50e58e5ba55fccc25f8f23d669e386011111090
update options
tcc-doc.texi