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

Avoid a space before the ending dot.

909f726
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs