tree 672cd281495a313f52b0080ae9d3203087ca5078
parent dbee9bf49a5146a2e177dc5d53d2dbb6167aeb40
author Alexander Afanasyev <aa@cs.fiu.edu> 1591052117 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1591052117 -0400

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