Roland Clobus edb12253eb Bugfix: use minutes instead of month in the time of the modification date field		2020-12-13 11:11:55 +01:00
..
build	Bugfix: use minutes instead of month in the time of the modification date field	2020-12-13 11:11:55 +01:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00