diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-09-14 16:47:55 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-09-14 16:47:55 +0200 |
| commit | e7760deb741ae9a42e7bd17b4f35f29e7f251383 (patch) | |
| tree | 456c5f525482cd88655d09c08deef4b6b5cdf798 /doc/classes | |
| parent | 4ee8ecd3efee742be58c1ff191e78d0de09b57b6 (diff) | |
Fix HTML5 export after #30864
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions