revert part of r6074. i don't think it needs to be removed anymore and then everythin...
[mikachu/openbox.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - gnome-panel-control
drwxr-xr-x - themetoxml
drwxr-xr-x - themeupdate