Mentions légales du service

Skip to content

Merge before code review. Also contains pretty-print improvement for branch openmp.

Laurent Hascoet requested to merge develop into master

before code review

Merge request reports