merge in r6153-6154 from the 3.4 branch
[mikachu/openbox.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - gnome-panel-control
drwxr-xr-x - themetoxml
drwxr-xr-x - themeupdate