diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-05-25 19:38:06 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-05-25 19:38:06 +0200 |
| commit | e95f409e90322d1477993eade2462c8c47e69e8d (patch) | |
| tree | ec3bd64817c88433b0d7cadd83820fa16d2ba379 /src/Script/Shell.hs | |
| parent | 72e423363b54456346a20f45cac6bcb363902444 (diff) | |
Fix build with older base
Diffstat (limited to 'src/Script/Shell.hs')
0 files changed, 0 insertions, 0 deletions