diff options
| author | Jordan Wiens <jordan@psifertex.com> | 2018-02-14 16:24:15 -0500 |
|---|---|---|
| committer | Jordan Wiens <jordan@psifertex.com> | 2018-02-14 16:24:15 -0500 |
| commit | 4c58c514e4acfa5cb95a53c7fa09f115e886c107 (patch) | |
| tree | 1fda4621f42bb5bd18f6d2df252139e5324d83e0 /python/platform.py | |
| parent | 4c3184d5391f78b30e9be04651b1445157144316 (diff) | |
fix typo in semantic flag core names
Diffstat (limited to 'python/platform.py')
0 files changed, 0 insertions, 0 deletions