koch --nim:pathto/nim boot and koch boot --hint:cc:off now work #13516
Merged
Araq merged 2 commits intonim-lang:develfrom timotheecour:pr_koch_boot_hints_nimMar 10, 2020
+34-28
