diff options
| author | Son Ho | 2023-11-21 11:40:59 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-21 11:40:59 +0100 |
| commit | 5e92ae6b361f9221f5c5f9a39ab4c28a36597a77 (patch) | |
| tree | c10596aff88b97b1ba496d08236f20084f8da08b /tests/lean/Traits.lean | |
| parent | 00882b8fe6d8ef1d9b7a03cd5949f909d58a2da9 (diff) | |
Regenerate most of the test files
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions