Skip to content

[#1491] Generate id from :name: option in index#13

Closed
kreuzberger wants to merge 2 commits intosphinx-doc:masterfrom kreuzberger:master

Commits

Commits on Jun 16, 2021

Commits on Jul 23, 2024