Skip to content

doc: remove redundant properties from headers

Rodrigo Muino Tomonari requested to merge github/fork/XhmikosR/XhmikosR-patch-1 into master
Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • tests and/or benchmarks are included
  • documentation is changed or added
  • commit message follows commit guidelines

This is not fully tested, just with Firefox on Windows 10. I'll need to rebase it after #31460, I'll do it later

/CC @trott

Merge request reports