remove hypothesis

This commit is contained in:
Tom van Woudenberg 2024-11-28 08:46:12 +01:00 • committed by GitHub
parent 8ad00ac379
commit 4a973ba868
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,10 +11,6 @@ only_build_toc_files: true
html:
favicon : "images/favicon.ico"
baseurl : "https://teachbooks.io/manual/"
# START REMOVE-FROM-PUBLISH
comments:
hypothesis: true
# END REMOVE-FROM-PUBLISH
sphinx:
extra_extensions: