diff options
| author | jacob1 <jfu614@gmail.com> | 2013-07-18 22:30:24 (GMT) |
|---|---|---|
| committer | jacob1 <jfu614@gmail.com> | 2013-07-18 22:30:24 (GMT) |
| commit | 40285e107a998aafaa6c88ee7ca650191ae5b400 (patch) | |
| tree | 543ed18b1c90e3528809a4308db9c9b8b96b41a4 /src/gui/Style.cpp | |
| parent | 6a4cc7e1f71ae042b58a84f4befa79e42072dd81 (diff) | |
| download | powder-40285e107a998aafaa6c88ee7ca650191ae5b400.zip powder-40285e107a998aafaa6c88ee7ca650191ae5b400.tar.gz | |
flood delete will delete walls even if wall delete tool isn't selected
Diffstat (limited to 'src/gui/Style.cpp')
0 files changed, 0 insertions, 0 deletions