tree 132f8b1331fb1ed9128266147e352580b8b0f6be
parent 560d2b90f8a0a0e6669ef73c17efe91ff4517a59
author Alexander Afanasyev <aa@cs.fiu.edu> 1591053499 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1591053499 -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: I519fa960e1864d3156cd7f96b479404f2e374ac9