diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-21 11:07:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 11:07:23 +0200 |
| commit | fa3ac7deaeb61c46327dbb1c1be18bd805c46886 (patch) | |
| tree | 58e00c77bdf20f9f6472d0176619d77b7e4d4cbf /editor | |
| parent | 15a97679bb9b334428cc893638b4d906774f8cf4 (diff) | |
| parent | ca325856cfb212d7920f1e26e4ff66f20575c180 (diff) | |
Merge pull request #40563 from akien-mga/travis-pin-emscripten-1.39.19
Travis: Pin Emscripten version to 1.39.19
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions