diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-31 21:14:40 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-31 21:14:40 +0200 |
| commit | 542e518ddd09ad9e4b44f17185d97b9f5ee943f1 (patch) | |
| tree | 7fa6aaf71b4299729a96a58933be23c929bbbe09 /src/GDB.hs-boot | |
| parent | 28a0bc8c32d5e68f1a2ede45e8407a5f2f3acc64 (diff) | |
Enable color only for terminal output, add manual options
Changelog: Use colors by default only on terminal, add
`--color`/`--no-color` options to select manually.
Diffstat (limited to 'src/GDB.hs-boot')
0 files changed, 0 insertions, 0 deletions