--- /dev/null
+# Site settings
+baseurl: "/~jung"
+url: "https://www.mpi-sws.org"
+timezone: "Europe/Berlin"
+
+defaults:
+ - scope:
+ path: "" # all files in the project
+ values:
+ layout: "default"
+
+# Build settings
+markdown: kramdown
+exclude: ['*.sh']