diff TOOLS/subedit.pl @ 25677:b3f780273cb1

Remove a useless cast
author reimar
date Sun, 13 Jan 2008 09:37:36 +0000
parents 92a795af2600
children
line wrap: on
line diff