diff options
author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-08-15 12:19:40 (GMT) |
---|---|---|
committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-08-15 12:19:40 (GMT) |
commit | 1056474e1d2b6a437051a9ef6eb450df599998c8 (patch) | |
tree | aa90f542c27c10b4cf684108c2d20202f1cadce1 /src/WorkspaceNameTheme.hh | |
parent | 215939d6edcbd88aeb00745ec14f526f037ddb20 (diff) | |
download | fluxbox_paul-1056474e1d2b6a437051a9ef6eb450df599998c8.zip fluxbox_paul-1056474e1d2b6a437051a9ef6eb450df599998c8.tar.bz2 |
fix compilation
Diffstat (limited to 'src/WorkspaceNameTheme.hh')
0 files changed, 0 insertions, 0 deletions