tree 1f8cb654927d6a6f3c013c8f69804b3f1c3e08ba
parent d553768d22e6582d772a3e9f3c1e146d0c15b22b
author Alexander Afanasyev <aa@cs.fiu.edu> 1591053641 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1591053641 -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: Ic3ba7f5bf479af408d9b2d10319f370f8e1cac8e