Commit 6f3ec5a

committed

stage0 make file

1 parent 4995510 commit 6f3ec5aCopy full SHA for 6f3ec5a

1 file changed

+2

-6

lines changed

stage0/src
- lean.mk.in

1 file changed

+2

-6

lines changed

`‎stage0/src/lean.mk.in‎`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)