diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-06-14 10:08:03 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-14 10:08:03 +0200 |
| commit | 22f8f053f9ea2a3273d25f49ecd88a30ad506972 (patch) | |
| tree | da1b7879fbb87479874490d5a2d2680a7979f593 /gentrace.sh | |
| parent | c6b912051ddac25c9d7efe2f8162eac9068a335c (diff) | |
Export full [mrs]{shape,rank,size} set
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions