From bfa9448665c6339f08b20bc3b7a02f2f46eede6c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 5 May 2025 10:09:30 -0400 Subject: [PATCH] config --- _config.yml | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 _config.yml 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"]