Skip to content

Pin docutils for jupyterbook#151

Merged
jorgensd merged 2 commits intomainfrom
dokken/docutils_pin
Oct 12, 2023
Merged

Pin docutils for jupyterbook#151
jorgensd merged 2 commits intomainfrom
dokken/docutils_pin

Conversation

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant