diff README @ 14575:31ae29e095b6

Remove obsolete options.
author diego
date Sat, 22 Jan 2005 15:47:34 +0000
parents 571f08316b2d
children e10a50a36faa
line wrap: on
line diff