diff options
author | Tom Smeding <t.j.smeding@uu.nl> | 2024-06-10 16:22:34 +0200 |
---|---|---|
committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-06-10 16:22:34 +0200 |
commit | 1ebae1e4ebda334d316f1e9ea3718ef38ee3cdf8 (patch) | |
tree | 6cff789e3c382ceb8a444751c2edd163b968ac6b /gentrace.sh | |
parent | c6ac2b69e15ff09622ac2bbc40ede8331866a559 (diff) |
Clean up some redundant catMaybes
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions