diff LICENSE @ 15118:be3afc482503

Use | for alternatives and - for ranges in option parameter descriptions.
author diego
date Mon, 11 Apr 2005 08:10:02 +0000
parents 4624b4c3491e
children 401b440a6d76
line wrap: on
line diff