diff version.sh @ 31431:29c120a9caad

Fix compilation after r31490. Patch by Giorgio Vazzana, mywing81 gmail
author cehoyos
date Sun, 20 Jun 2010 19:26:57 +0000
parents 4964a530de54
children 3bb138f3c634
line wrap: on
line diff