David Pursehouse a022f3ea15 version.py: Also update the VERSION file
When updating the version, the VERSION file also needs to be updated.

The documentation implies that the version.py file does that, but it
doesn't.

Update the version.py file tool to do it.

Change-Id: I8671688e819608659685b79a553c592604093890
2015-01-22 16:55:41 +09:00
..
2013-09-19 18:29:07 +00:00
2014-09-01 02:57:52 +00:00
2014-11-08 08:31:08 -08:00
2013-09-04 21:31:03 -07:00
2014-12-18 02:51:06 +00:00
2014-09-11 09:48:07 +02:00