| commit | 675d6fb21088aba8e4181c40b5ddcbaeba55d2a8 | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <aa@cs.fiu.edu> | Mon Jun 01 18:55:17 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jun 01 18:55:17 2020 -0400 |
| tree | 672cd281495a313f52b0080ae9d3203087ca5078 | |
| parent | dbee9bf49a5146a2e177dc5d53d2dbb6167aeb40 [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: I7f8dd4703c76e833797135b980bbcc6c2e97bcef
diff --git a/.gitignore b/.gitignore index 608c272..8850587 100644 --- a/.gitignore +++ b/.gitignore
@@ -26,4 +26,4 @@ *.py[cod] # Other -/VERSION +/VERSION.info