Skip to content

fix: unset trailing for simpa? "try this" suggestion#5907

Merged
Kha merged 2 commits intoleanprover:masterfrom kmill:simpa_trailing_commentNov 8, 2024
+2-1

Commits

Commits on Oct 31, 2024

Commits on Nov 2, 2024