tree 66d6a7d48bd9ac237c2b9c0d7bbdcfe95bf53cb1
parent 5653b640d4c0dd360e1c283d1038791879b13944
author Alexander Afanasyev <aa@cs.fiu.edu> 1591052334 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1591052334 -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: I156cb3a49d3ee2139c1c830eaa8b20be00c3fb98