diff options
author | Son Ho | 2024-04-04 10:59:46 +0200 |
---|---|---|
committer | Son Ho | 2024-04-04 10:59:46 +0200 |
commit | eae7ce912c8bae44f98e1d489aba5618c0029bd2 (patch) | |
tree | 9e0b206bfb0b6526ba5be8a7bd1d92832a191273 /backends/lean | |
parent | 8a8f3ee2e444542112a3b0ea0b4e6283b1893aaa (diff) |
Make a minor modification
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions