Michał Górny 26d3184ae2 update plugins for sphinx-prompt-1.8.0 ... The sphinx-prompt plugin has renamed its package in 1.8.0 from erraneous `sphinx-prompt` name to `sphinx_prompt`. Adjust the conf accordingly.		2024-01-05 12:15:40 +01:00
..
build	Start creating documentation	2016-01-19 07:19:16 -06:00
source	update plugins for sphinx-prompt-1.8.0	2024-01-05 12:15:40 +01:00