diff options
| author | Son Ho | 2023-11-06 18:49:27 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-06 18:49:27 +0100 |
| commit | c8fce0c24f2f5331f2f1135cc17d45192f2b30e3 (patch) | |
| tree | 40ce27098cba71a3f24fea32561f8713ca3dcfc1 /.gitignore | |
| parent | 16c094457d0b23f5a9e1ea60e3195cc452ed7c43 (diff) | |
Regenerate part of the trait tests for Lean
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions