From 17f7125b27510e4dd08d5e0a58b99e029025cdb9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 5 Jun 2023 12:27:35 -0400 Subject: [PATCH] fix --- _config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_config.yml b/_config.yml index 83395793..a5f8890f 100644 --- a/_config.yml +++ b/_config.yml @@ -1,2 +1,2 @@ theme: jekyll-theme-minimal -include: _odoc-theme +include: _odoc_support