Skip to content

remove unneeded sphinxcontrib extension - sphinxcontrib.jquery#2047

Merged
valeriupredoi merged 5 commits intomainfrom remove_sphinxcontrib-jquery_extensionMay 23, 2023

Commits

Commits on May 23, 2023