Mentions légales du service

Skip to content

Allows to read the detection information from a file different from the default one

François Bobot requested to merge autodetection_from_file into master

So that the why3 infrastructure could be used more easily in different contexts.

Edited by François Bobot

Merge request reports