Skip to content

[VsCoq1] [.vscodeignore] Simplify ignore rules#176

Closed
artagnon wants to merge 1 commit intocoq:vscoq1from artagnon:ignore-cleanup
+8-15

Commits

Commits on Mar 15, 2021