tree 7a260f422eca98049a10756c2cb2953f4ff34f05
parent 7e6f6f8ee3b335e2b323bf5a20091b2dbaef248b
author Davide Pesavento <davide.pesavento@lip6.fr> 1510030381 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1510513789 -0500

docs: remove GNU-style indentation of braces from code-style

Plus other misc cleanups.

Change-Id: I04917339c80a960a09f77c20af972daa2f888005