blog post about MIR and miri and semantics and instrumentation
[web.git] / research / _config.yml
index 868f8be0ce1de01b7a8585f186d3f69719e0727f..18ca2bc32b22e50d42fb2ddd7dfbd96c0de8fa4e 100644 (file)
@@ -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