Skip to content

Replaced custom searchForVscoqtopInPath code with which#978

Merged
rtetley merged 2 commits intocoq:mainfrom cas-haaijman:find-vscoqtop-windowsJan 15, 2025

Commits

Commits on Jan 13, 2025

Commits on Jan 14, 2025