Skip to content

Fix copy_files handling when generating .merlin files#2211

Merged
rgrinberg merged 2 commits intoocaml:masterfrom rgrinberg:fix-copy-files-merlinMay 30, 2019

Commits

Commits on May 30, 2019