diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-02-03 20:17:42 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-02-03 20:17:42 (GMT) |
| commit | f3e3bb52734290d58deb2871831ad0889f14a354 (patch) | |
| tree | 9368485eae6db9e6e54772888128bfc7e3a46ff0 /src/WorkspaceMenu.cc | |
| parent | b7eee2350d5179e7a54aec047223aa1422581447 (diff) | |
| download | fluxbox-f3e3bb52734290d58deb2871831ad0889f14a354.zip fluxbox-f3e3bb52734290d58deb2871831ad0889f14a354.tar.bz2 | |
check pointer, even though it shouldn't be necessary
Diffstat (limited to 'src/WorkspaceMenu.cc')
0 files changed, 0 insertions, 0 deletions