diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-21 11:12:51 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-21 11:12:55 +0100 |
| commit | 769341e180d7fb06d069ae5124e8c3caa3abfc8c (patch) | |
| tree | f42f5a33907d356ee35a5e9bad858769677cedd7 /platform_methods.py | |
| parent | bef383985e7be5c8253e32758d96fa7a6e3fd257 (diff) | |
Cleanup after @reduz :)
Fixes #25172.
Diffstat (limited to 'platform_methods.py')
0 files changed, 0 insertions, 0 deletions