Skip to content

fix(bin/leanc.in): use C compiler only when not linking - #32

Merged
leodemoura merged 1 commit into
leanprover:masterfrom
Kha:master
Sep 4, 2019
Merged

fix(bin/leanc.in): use C compiler only when not linking#32
leodemoura merged 1 commit into
leanprover:masterfrom
Kha:master

fix(bin/leanc.in): use C compiler only when not linking

e23eded
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs