Install to lib
/stublibs
in legacy mode as well#40
Merged
nojb merged 4 commits intoocaml:masterfrom Leonidas-from-XIV:install-to-pkg-dirJun 26, 2024
+9-19
Commits
Commits on May 28, 2024
Commits on Jun 3, 2024
Commits on Jun 26, 2024
- committed