Hugo Machet dd436dac4b Rename colour-theme/scheme option to theme ... Previously both colourscheme and coloutheme were used.		2022-09-14 20:09:24 +02:00
..
config.ini	Rename colour-theme/scheme option to theme	2022-09-14 20:09:24 +02:00