jekyll config

This commit is contained in:
Simon Cruanes 2023-08-28 13:01:11 -04:00
parent ff375dddc2
commit 7235a74b35
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,2 +1,2 @@
theme: jekyll-theme-minimal
include: _odoc-theme
include: ["_odoc-theme", "_odoc_support"]