diff configure @ 14329:74e323b9e5db

More commands documented, based on Reimar's findings.
author diego
date Mon, 03 Jan 2005 15:01:58 +0000
parents 8631a3803289
children dc7b86065e3c
line wrap: on
line diff