diff options
| author | KyleMiles <krm504@nyu.edu> | 2019-09-01 04:59:12 +0000 |
|---|---|---|
| committer | KyleMiles <krm504@nyu.edu> | 2019-09-19 02:57:49 +0000 |
| commit | f5851a8c606cdc2369cf1ee928e1fe9687513782 (patch) | |
| tree | 6693af6d3bc9297572d67c192e02a678d07ecee3 /python/plugin.py | |
| parent | 4d9138e3ef76ce300f054a8cb07b1a2327b35a83 (diff) | |
Fixes #1440 - use user-supplied platform before falling back to default platform
Co-authored-by: Sai <svv232@nyu.edu>
Diffstat (limited to 'python/plugin.py')
0 files changed, 0 insertions, 0 deletions