diff options
| author | Son Ho | 2024-04-04 15:57:12 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 15:57:12 +0200 |
| commit | 77208249c717579d1014f27592566069b8cd0eb2 (patch) | |
| tree | 048e4edac80c560e256bbb7cd38d8a7ab975ea45 /backends/lean | |
| parent | a882e28134dc6c44e7a2b5b82eb42041e9a1f342 (diff) | |
Fix a minor issue
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions