diff TOOLS/subedit.pl @ 23728:3c2d3fadf94f

Leave out (no) prefix from option names for consistency.
author diego
date Mon, 09 Jul 2007 14:58:50 +0000
parents 401b440a6d76
children 92a795af2600
line wrap: on
line diff