mirror of
https://gitlab.com/crafty-controller/crafty-4.git
synced 2025-01-31 12:56:11 +01:00
d1f582edfe
Basically I ditch the ANSI codes and use the old highlighting system.