diff AUTHORS @ 14582:d162f04e4695

Unify some option descriptions.
author diego
date Sun, 23 Jan 2005 23:53:30 +0000
parents 128f5f22f310
children 056674e34c1b
line wrap: on
line diff