diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-02-16 08:37:58 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-02-16 08:37:58 +0100 |
| commit | f9629deade8407d550447486498e9ee11a235ebb (patch) | |
| tree | 1dde68e688e4bc11ce8ec7fd9391e00ce8046eeb /doc | |
| parent | 7989149b917c096af67a0566398bee4de83993ac (diff) | |
HTML5: Fix build after #52742
Fixes #58172.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions