diff options
| author | Son Ho | 2023-11-16 10:17:50 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-16 10:17:50 +0100 |
| commit | 4972f21e4b25cc16e0839dc3d4a4a2d0552f872d (patch) | |
| tree | e7497ae134a1039125bf351819b3de8abd5cbbbe /backends/lean/lean-toolchain | |
| parent | a27efd1ed08bc9583752445d9eda7a693c0c7379 (diff) | |
Rename Driver.ml to Main.ml
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions