config jekyll

This commit is contained in:
Simon Cruanes 2024-02-08 15:33:43 -05:00
parent 88b4397616
commit d75810ace9
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

2
_config.yml Normal file
View file

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