diff options
| author | Arjen Hiemstra <ahiemstra@heimr.nl> | 2015-07-15 11:11:19 +0300 |
|---|---|---|
| committer | Arjen Hiemstra <ahiemstra@heimr.nl> | 2015-07-15 11:15:02 +0300 |
| commit | a84a5d784ae6eb44e71540368bf11dadc06d837b (patch) | |
| tree | 20a3d700d3a31e92044c52d74a4170e67d59e1c6 /run_mypy.py | |
| parent | c1d8e204b7051561e610bc4d1ad6a6a9391519c4 (diff) | |
Fix the platform activity check15.06.021.15.06.02
Contributes to #128
Diffstat (limited to 'run_mypy.py')
0 files changed, 0 insertions, 0 deletions