rename gnomepanelproxy to gnome-panel-control
[dana/openbox.git] / tools / gnome-panel-control /
2003-09-18 Dana Jansensrename gnomepanelproxy to gnome-panel-control
2003-09-18 Dana Jansensadd gnomepanelproxy