raspberrypi/noobs — pull request #68 by lurch (2013-06-22 17:37:28+00:00)
Title: Fix generation of the rpi-firmware and rpi-userland version files

They weren't being updated correctly, and they shouldn't have been
stored in git in the first place