diff TOOLS/subedit.pl @ 13176:c73c708ad7f3

Small changes for added consistency.
author diego
date Sat, 28 Aug 2004 18:14:07 +0000
parents cc5aa27a50ff
children 401b440a6d76
line wrap: on
line diff