Skip to content

Make the setting of terminal colors optional.#37

Merged
Shatur merged 1 commit intoShatur:masterfrom PhilRunninger:masterApr 5, 2024