diff TOOLS/subedit.pl @ 15931:545e7ec8bce7

Fixes suggested by Diego
author gpoirier
date Wed, 06 Jul 2005 21:10:02 +0000
parents cc5aa27a50ff
children 401b440a6d76
line wrap: on
line diff