diff options
| author | Son Ho | 2023-11-24 17:30:56 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-24 17:30:56 +0100 |
| commit | 3fb8105afe1d43beb326906f124d7e0e7cefe7bc (patch) | |
| tree | 33f0334649337920b271f3984cb78a7739c3421c /backends/lean/lean-toolchain | |
| parent | 4d5d2a8628cfb002267be9a13982aa4ef24a2651 (diff) | |
Update a comment
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions