Mikael Magnusson e785e18a2c you didn't say no		2007-03-30 16:37:17 +00:00
..
gnome-panel-control
themetoxml
themeupdate	add comment explaining what this tool is for. new themeupdate tool is coming for xml themes.	2007-03-04 22:22:27 +00:00