jhpratt

joined 2 years ago
[โ€“] [email protected] 1 points 2 years ago

Aside from custom colorization (which I just hard-coded differently), I don't think any of the changes I made would be applicable to the project as a whole.

[โ€“] [email protected] 2 points 2 years ago (2 children)

Thank you for that! It's something I have a private copy of so that I could modify it in a way that better suited my exact (unconventional) needs. It's far better than coloring output by hand, which is what I otherwise would have had to do.