diff options
| author | Mario J. Rugiero <mrugiero@gmail.com> | 2014-12-20 04:04:43 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira@fluxbox.org> | 2015-05-01 08:46:21 (GMT) |
| commit | 6aff2f7c280631d9d8750c02d1e45ea1a342f7ea (patch) | |
| tree | e185c3fad9474da4442c3a3da1b590fbcef22bd0 /src/ScreenPlacement.hh | |
| parent | 9667d538eb88b19e2e73484b69499dfd3f39a729 (diff) | |
| download | fluxbox-6aff2f7c280631d9d8750c02d1e45ea1a342f7ea.zip fluxbox-6aff2f7c280631d9d8750c02d1e45ea1a342f7ea.tar.bz2 | |
ButtonTheme::name can be const.
Diffstat (limited to 'src/ScreenPlacement.hh')
0 files changed, 0 insertions, 0 deletions