diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-30 11:43:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-30 11:43:03 +0100 |
| commit | 62a3dcdc72be939c5b8a31d035bce5a576397fb4 (patch) | |
| tree | 20a31825bb077df79832780d7814f3f04cc6dedb /main | |
| parent | 80427c1aa2c271ecf172ab1a41df3b75d31a2052 (diff) | |
| parent | 33daf4d8bc17f30c85cefe2e9dfe9b46ddb257f9 (diff) | |
Merge pull request #12467 from marcelofg55/emscripten_detect
Detect javascript platform using EMSCRIPTEN env as well
[ci skip]
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions