diff TOOLS/subedit.pl @ 14582:d162f04e4695

Unify some option descriptions.
author diego
date Sun, 23 Jan 2005 23:53:30 +0000
parents cc5aa27a50ff
children 401b440a6d76
line wrap: on
line diff