diff options
| author | Son Ho | 2024-04-04 16:19:08 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 16:19:08 +0200 |
| commit | 57b71cb1bfde1832097163c7169aaf97cf8c7583 (patch) | |
| tree | 00c3fff1c4f79023d352b2aa368e9f58637768da /tests/lean/lakefile.lean | |
| parent | 4828b77847ee981f5c6a1bbad7f8e6ed0e58eb0f (diff) | |
Update the extraction
Diffstat (limited to 'tests/lean/lakefile.lean')
0 files changed, 0 insertions, 0 deletions