tree de33bfef0d0920509664642ea3da897390ac2694
parent b07d7a96da04c1a595b2bf8bea6d5e361eeb705d
author Alexander Afanasyev <aa@cs.fiu.edu> 1590954028 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1590954028 -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: Ib08d8e9efa0f6ed0cee6843b818b773485dc73d8