]> icculus.org git repositories - mikachu/openbox.git/tree - tools/
unset DESKTOP_STARTUP_ID at startup so we don't pass it on unknowingly.
[mikachu/openbox.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - gnome-panel-control
drwxr-xr-x - themetoxml
drwxr-xr-x - themeupdate