| commit | 89edd8f3a995b47d1ae4f63639a82b00247b2b0c | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <aa@cs.fiu.edu> | Mon Jun 01 18:58:54 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jun 01 18:58:54 2020 -0400 |
| tree | 66d6a7d48bd9ac237c2b9c0d7bbdcfe95bf53cb1 | |
| parent | 5653b640d4c0dd360e1c283d1038791879b13944 [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: I156cb3a49d3ee2139c1c830eaa8b20be00c3fb98
diff --git a/.gitignore b/.gitignore index b1d7223..6ff803e 100644 --- a/.gitignore +++ b/.gitignore
@@ -29,4 +29,4 @@ *.py[cod] # Other -/VERSION +/VERSION.info