diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-27 12:54:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-27 12:54:59 +0200 |
| commit | 5c98de273dcec4131ba3329e378e828d11bb0548 (patch) | |
| tree | cedf0548cd8b2c50107cd9fb8c9ce7fdf9f2fe7c /platform | |
| parent | c10dab134afe1e4540fbb01d78fc0cf6a4dbbe26 (diff) | |
| parent | 12389b37363db541517c1c722e2e82294e92e251 (diff) | |
Merge pull request #39066 from Xrayez/is-module-yes
Do not rely on the existence of `config.py` while detecting modules
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions