diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-31 11:41:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-31 11:41:37 +0100 |
commit | 21d94efc19618b2049fe135b27659df44f7d0be2 (patch) | |
tree | 69e65f5bc6f7e7bcc9668780d0fb7c2bce8da7f5 /docs | |
parent | c3afcab0418cd965bf591f72f6b735d1ca998e1c (diff) | |
download | dotty-21d94efc19618b2049fe135b27659df44f7d0be2.tar.gz dotty-21d94efc19618b2049fe135b27659df44f7d0be2.tar.bz2 dotty-21d94efc19618b2049fe135b27659df44f7d0be2.zip |
Change base url to match new CNAME from dotty.epfl.ch
Diffstat (limited to 'docs')
-rw-r--r-- | docs/_config.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/_config.yml b/docs/_config.yml index d32781d9a..290e9b4d1 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,5 +1,5 @@ title: Dotty Documentation -baseurl: "/dotty" +baseurl: "/" theme: minima gems: - jekyll-toc |