Dave Davenport dc46457f71 Remove deprecated theme options ... * color_window * color_urgent * color_active * color_normal		2021-06-08 22:44:15 +02:00
..
config.c	Remove deprecated theme options	2021-06-08 22:44:15 +02:00