commit | 298c4355c3ea7aabe117f425d6e55aed07c84205 | [log] [tgz] |
---|---|---|
author | Alexander Afanasyev <aa@cs.fiu.edu> | Sun May 31 15:40:28 2020 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Sun May 31 15:40:28 2020 -0400 |
tree | de33bfef0d0920509664642ea3da897390ac2694 | |
parent | b07d7a96da04c1a595b2bf8bea6d5e361eeb705d [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: Ib08d8e9efa0f6ed0cee6843b818b773485dc73d8
diff --git a/.gitignore b/.gitignore index 608c272..8850587 100644 --- a/.gitignore +++ b/.gitignore
@@ -26,4 +26,4 @@ *.py[cod] # Other -/VERSION +/VERSION.info