diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-09-17 15:22:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-17 15:22:56 +0200 |
commit | 1399262ffac0c7f5011e653c4859bd60553c2419 (patch) | |
tree | 57cd4f543b6322d0d1fd63a0264baa10e96c5c7a /doc/classes/ResourcePreloader.xml | |
parent | 2861fd9552c242ef7a98f63312f253e6534c5b34 (diff) | |
parent | e7760deb741ae9a42e7bd17b4f35f29e7f251383 (diff) |
Merge pull request #32176 from Faless/js/fix_export_js
Fix HTML5 export after #30864
Diffstat (limited to 'doc/classes/ResourcePreloader.xml')
0 files changed, 0 insertions, 0 deletions