diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-06-10 13:27:54 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-06-10 13:28:53 +0200 |
| commit | c211316a4ab43cf34d6567c6919a3922d5840ae0 (patch) | |
| tree | 635ef6937b940145127cb740285c86a1e0d1642e /gentrace.sh | |
| parent | 596bce9b869cafc06d9b1567c3a3ed282f7441ba (diff) | |
Add {max,min}IndexPrim to Nested export
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions