John Benediktsson 59e3cf93b7 ui.gadgets.theme: rename to ui.theme.images.		2016-05-22 07:53:21 -07:00
..
images	ui.gadgets.theme: rename to ui.theme.images.	2016-05-22 07:53:21 -07:00
switching	ui.theme.switching: default font colors.	2016-05-22 07:53:21 -07:00
authors.txt	…
summary.txt	…
theme.factor	ui.theme: remove unused url-color hook.	2016-05-10 15:20:28 -07:00