Change base url to match new CNAME from dotty.epfl.ch

felixmulder · web-flow · commit 21d94efc1961 · 2016-10-31T11:41:37.000+01:00
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -1,5 +1,5 @@
 title: Dotty Documentation
-baseurl: "/dotty"
+baseurl: "/"
 theme: minima
 gems:
     - jekyll-toc
