diff options
| author | Son Ho | 2024-03-28 17:17:42 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-28 17:17:42 +0100 |
| commit | 4eac16f0954ab037413c24a69799a9d595f920f2 (patch) | |
| tree | cfdbbad092c8e60d0680e2a8626de55ece6317c3 /backends/lean/Base/Primitives | |
| parent | 4a2bd6819685ae9aa83b634fd47018064d985321 (diff) | |
Revert some changes which shouldn't be here
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions