Skip to content

Develop integration w08

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

Loading