diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-23 11:27:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-23 11:27:03 +0100 |
| commit | f720d86b0bef3967d1bd65771bf2286c63914808 (patch) | |
| tree | 94ab283a23e7ed37c32018da9e6f97d04e69d230 /thirdparty/etc2comp | |
| parent | e2e29d3e8202fd80d6398220a27e8b9bbf4add76 (diff) | |
| parent | 29d305599dcb095e6586ebecf6e595f85d2cfcaf (diff) | |
Merge pull request #17555 from poke1024/add-worldenv-warning
Warn about WorldEnvironment being ignored
Diffstat (limited to 'thirdparty/etc2comp')
0 files changed, 0 insertions, 0 deletions