Skip to content

Commit 0e66a76

Browse files
committed
remove sphinxcontrib.prettyproof from reqs.txt
1 parent 6aa45c2 commit 0e66a76

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

docs/requirements.txt

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,3 @@ sphinx>=3.0
22
sphinx-book-theme
33
myst-nb
44
sphinxcontrib-bibtex
5-
sphinxcontrib.prettyproof

0 commit comments

Comments
 (0)