Skip to content

Uniformize handling of alias targets#3874

Merged
rgrinberg merged 2 commits intoocaml:masterfrom nojb:alias_cli_handlingOct 21, 2020
+10-8

Commits

Commits on Oct 21, 2020