Skip to content

Infra: Add a Sphinx extension to highlight custom keywords - #5084

Closed
ZeroIntensity wants to merge 1 commit into
python:mainfrom
ZeroIntensity:highlighting
Closed

Infra: Add a Sphinx extension to highlight custom keywords#5084
ZeroIntensity wants to merge 1 commit into
python:mainfrom
ZeroIntensity:highlighting

Add a Sphinx extension to highlight custom keywords

171126e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 warnings

The logs for this run have expired and are no longer available.