| commit | 96ebd9b7c37c39a74b6733c9b38389859397c306 | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <aa@cs.fiu.edu> | Mon Jun 01 19:16:52 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jun 01 19:16:52 2020 -0400 |
| tree | 2d9abec857a67f40d815f0fc6c58e1a6859e5787 | |
| parent | a122abf5f6d3d7f11b5d625377c672f4d9a35292 [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: I84d6e37fd5f31666ced4b8b47816ff28dd911f17
diff --git a/.gitignore b/.gitignore index b1d7223..6ff803e 100644 --- a/.gitignore +++ b/.gitignore
@@ -29,4 +29,4 @@ *.py[cod] # Other -/VERSION +/VERSION.info