diff options
| author | Son Ho | 2024-03-10 19:08:08 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-10 19:08:08 +0100 |
| commit | bd6bd4158218c116cbb5a97a1ab8674175cdc773 (patch) | |
| tree | 65b233a80e7e39bf6b026c4b2e1c7e8d231a8943 /tests/lean/.gitignore | |
| parent | 6f505d8e879793e8e2798dac5aa1a3e99c8e2466 (diff) | |
Update the builtin name patterns
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions