Geoffrey Frogeye fda5b38ddb color role → desktop_environment role ... Is this commit without too many change so that Git catches on the rename? Yes, yes it is.		2021-06-18 21:55:41 +02:00
..
tasks	color role → desktop_environment role	2021-06-18 21:55:41 +02:00