Mentions légales du service

Skip to content
  • DIVERIO Diego's avatar
    Fixed issue #388: · 8db2a355
    DIVERIO Diego authored
    User axioms are tagged with @useraxiom attribute, which is removed when cloning.
    8db2a355