diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-21 20:11:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 20:11:46 +0200 |
| commit | 41d6c965907730debb2bd6dcc7ccbe6f1ba5d015 (patch) | |
| tree | cf54f5c7bd9fd3629ab37a350218666b668af88e /doc/Makefile | |
| parent | 01fb1f189fe71f2768db7231b2523197228a8b54 (diff) | |
| parent | 15917ee39fb6211d7a1ac9146b5bab73a02ee1e7 (diff) | |
Merge pull request #40567 from akien-mga/travis-emscripten-latest
Travis: Back to latest emsdk, use embedded mode properly
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions