diff options
| author | Son Ho | 2024-02-03 00:00:36 +0100 |
|---|---|---|
| committer | Son Ho | 2024-02-03 00:00:36 +0100 |
| commit | 9cc912e2414870df85ffc4dd346ade5dba2b5c37 (patch) | |
| tree | 1d8290e4b947e431c3d8d3a9f8575f23c3afe5e1 /backends/lean/Base | |
| parent | 3157013edd4d0e70a5c6fb8a5b236043865adbe0 (diff) | |
Fix minor issues
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions