• MARCHE Claude's avatar
    fix issue #69 · 0c3c4e50
    MARCHE Claude authored
    loadpath is now reset to default when using why3config --detect
    0c3c4e50
why3config.ml 5.94 KB