Raphaël Hertzog e7df05cd29 Replace "Help" calls with "Man" and get rid of Help		2020-04-24 16:39:10 +02:00
..
build	Replace "Help" calls with "Man" and get rid of Help	2020-04-24 16:39:10 +02:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00