Add VERSION file to gitignore.

Authored by austin on Feb 20 2014, 7:16 AM.

Description

Add VERSION file to gitignore.

Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinFeb 20 2014, 7:16 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFc72e8898447b: Fix #8754 again.
Branches
Unknown
Tags
Unknown