diff options
author | Mark Tiefenbruck <mark@fluxbox.org> | 2007-12-18 06:52:30 (GMT) |
---|---|---|
committer | Mark Tiefenbruck <mark@fluxbox.org> | 2007-12-18 06:52:30 (GMT) |
commit | 98c5cea5f59180a80d322cb9e45d0d9ea5381444 (patch) | |
tree | 0f3b8ce00cd4e0228e04f2b5cd18e5acdbee7524 /src/WorkspaceNameTool.hh | |
parent | c01bd6e9fd98dd0f70ffc1d01df86e73719cd5e0 (diff) | |
download | fluxbox-98c5cea5f59180a80d322cb9e45d0d9ea5381444.zip fluxbox-98c5cea5f59180a80d322cb9e45d0d9ea5381444.tar.bz2 |
fix torn menus
Diffstat (limited to 'src/WorkspaceNameTool.hh')
0 files changed, 0 insertions, 0 deletions