diff options
| author | Son Ho | 2024-03-11 10:19:52 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-11 10:19:52 +0100 |
| commit | 82ccc781db0ba1df22f598ad1243fa53dc843320 (patch) | |
| tree | 20396c0f4371916900bb42e72eb58a02860bcb98 /tests/lean/.gitignore | |
| parent | bf0b35b9b1fa90d50587e906432077b63a9ad34d (diff) | |
Simplify the generated names
Diffstat (limited to 'tests/lean/.gitignore')
0 files changed, 0 insertions, 0 deletions