John D Pell 5f19de8d51 plugin/colors: rename `theme/colors`		2022-01-28 13:09:00 -08:00
..
available	plugin/colors: rename `theme/colors`	2022-01-28 13:09:00 -08:00