Skip to content
Snippets Groups Projects
Select Git revision
  • TMP
  • main default protected
2 results
user avatar
Fix vdt
Benjamin Bonneau authored 
In some cases, `case` was keeping the original hypotheses,
which was resulting in a loop.
872a5026
History
user avatar 872a5026
History
Name Last commit Last update