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/ButtonTool.cc | |
parent | 9667d538eb88b19e2e73484b69499dfd3f39a729 (diff) | |
download | fluxbox-6aff2f7c280631d9d8750c02d1e45ea1a342f7ea.zip fluxbox-6aff2f7c280631d9d8750c02d1e45ea1a342f7ea.tar.bz2 |
ButtonTheme::name can be const.
Diffstat (limited to 'src/ButtonTool.cc')
0 files changed, 0 insertions, 0 deletions