diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-04-29 18:58:37 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-04-29 18:58:37 +0200 |
| commit | f938793e7892639d5cea894aae447ed256f51c41 (patch) | |
| tree | db92850e5f22644cbb09d3700a54e14034d58b73 /core | |
| parent | 18c09acf9fd040644515a4ae2f56d38517d71825 (diff) | |
Ignore invalid folders in `platform`
Fixes #4479
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions