Skip to content

When the target is a directory use the default alias in it#1259

Merged
rgrinberg merged 5 commits intoocaml:masterfrom rgrinberg:build-default-alias-dir-targetSep 13, 2018
+139-61

Commits

Commits on Sep 13, 2018