diff options
| author | Jordan Wiens <github@psifertex.com> | 2019-07-22 17:49:03 -0400 |
|---|---|---|
| committer | Jordan Wiens <github@psifertex.com> | 2019-07-22 17:49:03 -0400 |
| commit | d4fa2fa1d657ced48dd00d64d44dcc2cd621ae01 (patch) | |
| tree | aa88057388d147865bcb66554c3104a39490b37f /python/platform.py | |
| parent | 0736fc2a1f9590c110bf0add9c7651ac4e6e8919 (diff) | |
allow launching without loading user plugins
Diffstat (limited to 'python/platform.py')
0 files changed, 0 insertions, 0 deletions