diff options
| author | Escherichia | 2024-03-29 10:56:52 +0100 |
|---|---|---|
| committer | Escherichia | 2024-04-03 18:20:25 +0200 |
| commit | a781ea75c1860c76c5577faa57efcdb0db910612 (patch) | |
| tree | 3b2aa289972d5246469a45da9aa37605f68f831c /backends/lean/Base | |
| parent | ebf2ba2fda2a5f8e0a63f4cb6761291c9b501fab (diff) | |
Added meta information to names_map_id field in names_map type
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions