tastytea 79b0edebdb Disable colored manpages (not necessary), Tell cmake-ide to behave.		2019-04-19 03:10:30 +02:00
..
server	Disable colored manpages (not necessary), Tell cmake-ide to behave.	2019-04-19 03:10:30 +02:00