Skip to content

refactor: Don't use sed in coq2html binary#72

Merged
yoshihiro503 merged 1 commit intoaffeldt-aist:mca2htmlfrom yoshihiro503:yoshihiro503@dont_use_sedJan 17, 2025
+45-5

Commits

Commits on Jan 17, 2025