sharkdp 64de2a44d5 Print error if Default.tmTheme is not available ...

closes #15

2018-04-25 23:34:41 +02:00

..

main.rs

Print error if Default.tmTheme is not available

2018-04-25 23:34:41 +02:00

terminal.rs

Enable 8 bit color support, closes #11

2018-04-23 23:56:47 +02:00