Mentions légales du service

Skip to content

Do not fail on invalid entries in PATH.

Guillaume Melquiond requested to merge lazy-autodetection into master

This commit also makes the code lazier, so that it is invoked only by why3 config.

Merge request reports