| commit | 1b9be6c1914bdc0bc6b935d93276117433299570 | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <aa@cs.fiu.edu> | Mon Jun 01 19:20:41 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jun 01 19:20:41 2020 -0400 |
| tree | 1f8cb654927d6a6f3c013c8f69804b3f1c3e08ba | |
| parent | d553768d22e6582d772a3e9f3c1e146d0c15b22b [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: Ic3ba7f5bf479af408d9b2d10319f370f8e1cac8e
diff --git a/.gitignore b/.gitignore index 608c272..8850587 100644 --- a/.gitignore +++ b/.gitignore
@@ -26,4 +26,4 @@ *.py[cod] # Other -/VERSION +/VERSION.info