add Coq typeclass index problem draft

[web.git] / research / _config.yml

diff --git a/research/_config.yml b/research/_config.yml
index 18ca2bc32b22e50d42fb2ddd7dfbd96c0de8fa4e..4c1f1f93290ba95ad351966e37abf4929b71a64f 100644 (file)
--- a/research/_config.yml
+++ b/research/_config.yml
@@ -12,3 +12,6 @@ defaults:
 # Build settings
 markdown: kramdown
 exclude: ['*.sh']
 # Build settings
 markdown: kramdown
 exclude: ['*.sh']

+
+# Custom settings
+mpi_sws_imprint: True