diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-05-19 15:53:04 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-05-21 15:31:23 +0200 |
| commit | fdf66a21f1a330595f7345f3b0024e0e7cafa28a (patch) | |
| tree | 4d7e4cc526f209065baba845a0e3ab15d8e99f7c /thirdparty/embree/common/sys | |
| parent | 8c2beeea907cb39baac20df198392ae4fdf64029 (diff) | |
[HTML5] Add easy to use download API.
New `JavaScript.download_buffer` method to create a prompt that let the
user download a file.
Diffstat (limited to 'thirdparty/embree/common/sys')
0 files changed, 0 insertions, 0 deletions