diff DOCS/README @ 14575:31ae29e095b6

Remove obsolete options.
author diego
date Sat, 22 Jan 2005 15:47:34 +0000
parents 5c232a30d497
children 4c9698666a4c
line wrap: on
line diff