diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-05 16:36:09 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-05 16:36:09 +0200 |
| commit | ebe8d8219e12fc9ac7ca58b367bc91e640ed0556 (patch) | |
| tree | 6ace2b989e1a255e3fdfb7c2254f9eca3cdf3ccd /src/AST/Weaken.hs | |
| parent | 83fdbd9a6103376213d4fc8b62bfec22a2d2b658 (diff) | |
test-framework: Behave decently when output is not a tty
Diffstat (limited to 'src/AST/Weaken.hs')
0 files changed, 0 insertions, 0 deletions