Mentions légales du service

Skip to content

Refer to type invariants as TypeInvariant rather than LoopInvariant (fix #480).

MARCHE Claude requested to merge fix_480_bis into master

Merge request reports