tree cf9cefde71f7ade044a9141a436692b4ecf6a5f4
parent bcf982f5f0bb6eed613920f47dfc54a4d7557af1
author Luca Milanesio <luca.milanesio@gmail.com> 1589970668 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1589970774 +0100

Rename version.env to makefile.env

Version environment include file contains a lot more
than just versions. Give it a more proper name with grouping
of different settings in sections.

Change-Id: Ib76d74536d64875a463f30fe41b11c6ba5d2fa17