diff Gui/cfg.c @ 15118:be3afc482503

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