Make install faster by not scanning the whole switch when no install field is present#4494
Merged
rjbou merged 5 commits intoocaml:master from kit-ty-kate:fast-installApr 18, 2021
+421-162
Commits
Commits on Apr 16, 2021
- committed
- committed
- committed