beremiz

Various unrelated code quality enhancements and fixes with no effect on execution.

18 months ago, Edouard Tisserant
3ef4b5b202fc
Various unrelated code quality enhancements and fixes with no effect on execution.
Build and install
=================
Developer setup
---------------
Build packages with beremiz_public_dist
---------------------------------------