commit bfa9448665c6339f08b20bc3b7a02f2f46eede6c Author: Simon Cruanes Date: Mon May 5 10:09:30 2025 -0400 config diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..88d17fb --- /dev/null +++ b/_config.yml @@ -0,0 +1,2 @@ +theme: jekyll-theme-minimal +include: ["_odoc-theme", "_odoc_support"]