Skip to content

Install .cmxs with the executable bit set#4149

Merged
bobot merged 2 commits intoocaml:mainfrom bobot:fix_cmxs_not_execJan 27, 2021
+94-47

Commits

Commits on Jan 23, 2021

Commits on Jan 27, 2021