diff options
author | xCrystal <rgr.crystal@gmail.com> | 2019-07-06 16:11:26 +0200 |
---|---|---|
committer | xCrystal <rgr.crystal@gmail.com> | 2019-07-06 16:11:26 +0200 |
commit | 840065b841800a0da8b01f861d8a9b9280e50324 (patch) | |
tree | fc846fa32813f5d42a57427cebe0aebb0c62565a /tools/configuration.py | |
parent | e91b56ada6dda8576d64821bb51793a18a62b17b (diff) |
Misc labeling and improvements
Diffstat (limited to 'tools/configuration.py')
0 files changed, 0 insertions, 0 deletions