Skip to content

Doc: Add an optional obsolete header.#13638

Merged
JulienPalard merged 3 commits into
python:masterfrom
JulienPalard:obsolete-doc-header
May 29, 2019
Merged

Doc: Add an optional obsolete header.#13638
JulienPalard merged 3 commits into
python:masterfrom
JulienPalard:obsolete-doc-header

Commits

Commits on May 28, 2019