Script to bump the version number in several files.
Authored by: gumpu 2003-04-10
Parent: [r180]
Child: [r182]