theme

EasyCrypt · Jun 14, 2024 · d3251ea · d3251ea
1 parent 904a913
commit d3251ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 32 deletions.
diff --git a/README.md b/README.md
diff --git a/_config.yml b/_config.yml
@@ -1,14 +1,7 @@
 plugins:
   - jekyll-relative-links
+remote_theme: just-the-docs/just-the-docs@v0.8.2
+search_enabled: false
 relative_links:
   enabled: true
   collections: true
-include:
-  - CONTRIBUTING.md
-  - README.md
-  - LICENSE.md
-  - COPYING.md
-  - CODE_OF_CONDUCT.md
-  - CONTRIBUTING.md
-  - ISSUE_TEMPLATE.md
-  - PULL_REQUEST_TEMPLATE.md