diff version.sh @ 31837:46c25393f99d

Remove useless cast.
author reimar
date Tue, 03 Aug 2010 17:01:13 +0000
parents 4964a530de54
children 3bb138f3c634
line wrap: on
line diff