diff options
author | Son Ho | 2023-11-09 11:43:47 +0100 |
---|---|---|
committer | Son Ho | 2023-11-09 11:43:47 +0100 |
commit | c57dec640d4e12c3dc66969d626bbbca2eb733fd (patch) | |
tree | aba417f93cbf501fa5b8edcbe41d41966f244a58 /backends/lean/lean-toolchain | |
parent | 9754c65c76cc48f9d3feab410dfe18273ae08c05 (diff) |
Modify some options and update the Makefile
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions