Mentions légales du service

Skip to content

Resolve "`why3 session create` should not apply transform `split_vc` by default"

Matteo Manighetti requested to merge 803-why3-session-create-should-not-apply-transform-split_vc-by-default into master

Closes #803 (closed)

Merge request reports