Skip to content

Added a note about using CoqMakefile.local#11

Open
Chobbes wants to merge 1 commit intovzaliva:masterfrom Chobbes:readme
+2-1

Commits

Commits on Oct 14, 2022