tree 3ce60ff09d2cecf7d917faa1d25ffc39e026454c
parent e4687a1d572cf50ffe53926f1f573af73cacaa7f
author Davide Pesavento <davidepesa@gmail.com> 1552923721 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552947860 -0400

Rename translation units containing main() to main.cpp

Also unify style of argv declaration

Change-Id: I1dcb8689b1cd38e042a0b1f05be7f98bd2d487ed