diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-03-03 11:36:11 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-03-03 11:36:11 +0100 |
| commit | fd08d02b1984d8f27a5e447a5c9d5e190271ab5e (patch) | |
| tree | 3f2a44076827984e7f391aad1c3e4ade011cc0ad /user_guide_src/source/_themes | |
| parent | 09d4de9b04303888f85fc036359547557e2b00b0 (diff) | |
Remove an unused var in CI_Log
Was suggested as part of PR #3630, which was rejected due to numerous other changes
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions