diff options
| author | Son Ho | 2023-11-12 19:35:24 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-12 19:35:24 +0100 |
| commit | 0a5859fbb7bcd99bfa221eaf1af029ff660bf963 (patch) | |
| tree | 2fc90c855ac49b1649b115f0e0e9b179dc993439 /backends/lean/lakefile.lean | |
| parent | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (diff) | |
Rename some variants
Diffstat (limited to 'backends/lean/lakefile.lean')
0 files changed, 0 insertions, 0 deletions