blog post about MIR and miri and semantics and instrumentation

[web.git] / research / _config.yml

diff --git a/research/_config.yml b/research/_config.yml
index 868f8be0ce1de01b7a8585f186d3f69719e0727f..18ca2bc32b22e50d42fb2ddd7dfbd96c0de8fa4e 100644 (file)
--- a/research/_config.yml
+++ b/research/_config.yml
@@ -7,7 +7,7 @@ defaults:
   - scope:
         path: "" # all files in the project
     values:
   - scope:
         path: "" # all files in the project
     values:

-        layout: "default"
+        layout: "page"

 
 # Build settings
 markdown: kramdown
 
 # Build settings
 markdown: kramdown