diff options
| author | jv35 <43965298+jv35@users.noreply.github.com> | 2018-10-10 09:17:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-10 09:17:53 -0400 |
| commit | 3d38e142e82f6473e9b615174157cef93c684eeb (patch) | |
| tree | c80ce9fd2370c80acd0fdd1aa160b76eb045f95c /python/setting.py | |
| parent | e0c2dbf56996f49aee35b3c010a24f6b4b394666 (diff) | |
fixes #1158
Diffstat (limited to 'python/setting.py')
0 files changed, 0 insertions, 0 deletions