diff options
| author | Son Ho | 2023-11-29 15:47:42 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-29 15:47:42 +0100 |
| commit | 3aa9c531db4e9cde25a4a149a64e3ff730ed798b (patch) | |
| tree | 3da4856892cf72d4182395bbacade06062b76aac /tests/lean/External | |
| parent | dc4b11689131bdb41a43e5aca76538556a3a120c (diff) | |
Fix a minor issue with the extraction
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions