diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-20 09:25:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-20 09:25:21 +0100 |
| commit | f0035b7cc78392938c5c163e961ff4604cb10c1a (patch) | |
| tree | 09e3d85d725b04963b72d3585812253ac9015b40 /doc/classes/File.xml | |
| parent | 35728e41ba21da931cac5a1c15b52f06b28af353 (diff) | |
| parent | db6be7b59ffaf7b98bf6d438a335ad1c8d98cec2 (diff) | |
Merge pull request #25150 from eska014/html5-warning
Fix HTML5 build warning
Diffstat (limited to 'doc/classes/File.xml')
0 files changed, 0 insertions, 0 deletions