Add VERSION file to gitignore.
Signed-off-by: Austin Seipp <austin@well-typed.com>
Description
Description
Details
Details
- Committed
austin Feb 20 2014, 7:16 AM - Pushed
bgamari Aug 25 2016, 1:39 PM - Parents
- rGHCDIFFc72e8898447b: Fix #8754 again.
- Branches
- Unknown
- Tags