Mentions légales du service

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