tree 2d9abec857a67f40d815f0fc6c58e1a6859e5787
parent a122abf5f6d3d7f11b5d625377c672f4d9a35292
author Alexander Afanasyev <aa@cs.fiu.edu> 1591053412 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1591053412 -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: I84d6e37fd5f31666ced4b8b47816ff28dd911f17