| commit | 2b1b5da61d3a82ccff5286ef4ade63ba05cb2c8f | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <aa@cs.fiu.edu> | Mon Jun 01 19:18:19 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jun 01 19:18:19 2020 -0400 |
| tree | 132f8b1331fb1ed9128266147e352580b8b0f6be | |
| parent | 560d2b90f8a0a0e6669ef73c17efe91ff4517a59 [diff] [blame] |
Rename VERSION to VERSION.info to avoid conflicts with modern STL On case-insensitive file systems (e.g., macOS), inclusion of the new standard <version> header resulted in unexpected inclusion of VERSION file. Change-Id: I519fa960e1864d3156cd7f96b479404f2e374ac9
diff --git a/.gitignore b/.gitignore index 608c272..8850587 100644 --- a/.gitignore +++ b/.gitignore
@@ -26,4 +26,4 @@ *.py[cod] # Other -/VERSION +/VERSION.info