diff options
| author | /dev/humancontroller <devhc@example.com> | 2014-07-13 16:41:53 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-03-09 13:51:09 +0100 |
| commit | 9624217d3e62fef17b96db14995198172f16c51e (patch) | |
| tree | 1471854c942916a061eeec1e41909db6a6fb5737 /src/tools | |
| parent | 34b4da297aebb90a1b815248f92c119d63572c22 (diff) | |
remove some redundant statements
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions