Skip to content

Implement an option to show dependencies between modules only#140

Open
MSoegtropIMC wants to merge 2 commits intocoq-community:coq-masterfrom MSoegtropIMC:modules-only
+64-31

Commits