diff options
author | Rafał Mikrut <mikrutrafal54@gmail.com> | 2019-12-10 05:13:02 +0100 |
---|---|---|
committer | Rafał Mikrut <mikrutrafal54@gmail.com> | 2019-12-10 05:13:02 +0100 |
commit | ed1c4bc77db88fa0f8f599ca2d3c4b533a94a654 (patch) | |
tree | 45e5f3b02b6f9c62116ba7fb513c87fa1f26a001 /doc/tools/doc_status.py | |
parent | 6f38aeef5255d1fdeb99d727a0f67b9be6ccdf36 (diff) |
Removed unused variables, add some constants numbers
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions