diff configure @ 10346:71555169dbdf

Constantly talking about documentation in the documentation is awkward.
author diego
date Sun, 29 Jun 2003 01:22:50 +0000
parents 8b1adfb21564
children 536f3ea8d19d
line wrap: on
line diff