3 Commits

Include renames

Author	SHA1	Message	Date
Daniel Ruiz de Alegría	c065255f82	Add terminal brighter bold colors	2019-11-28 10:17:26 +01:00
Daniel Ruiz de Alegría	69d4d47f99	Fix terminal dark color not visible with dark color-scheme	2019-11-20 10:29:31 +01:00
Raphaël Hertzog	89e461de17	Move all /usr/share/* directories in the same place	2019-11-06 19:16:17 +01:00