Rémi Verschelde 4cee1cda5e
Merge pull request #35589 from akien-mga/doc-drop-category-property
doc: Drop unused 'category' property from header
2020-01-26 16:34:13 +01:00
..
2018-11-20 11:15:02 +01:00
2018-12-27 13:57:08 +01:00