diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-12-17 22:30:30 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-12-17 22:30:30 +0100 |
| commit | d39ea901a67d17b0f33cdb4f76985e37208a9447 (patch) | |
| tree | 46fe50a8e4ca1db1e8a04fc5b17c4307170b0ca9 /gentrace.sh | |
| parent | 1b8403a66572c3ed85580ec6745130ad1627042e (diff) | |
Uniform Show instance for Mixed
The previous code was needlessly complicated.
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions