Skip to content

Develop integration w08

Cédric Roux requested to merge develop_integration_w08 into develop

Summary of changes:

  • various bugs fixed
  • pre-commit script for better indentation: see commit 068ce4ca For the moment, each contributor has to enable the script (and install astyle) by hand. Maybe at some point the script will be mandatory.

Merge request reports