diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-31 13:06:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-31 13:06:24 +0100 |
commit | 39286623b29e46b55913431a548e9ffb8ae83c36 (patch) | |
tree | 41d48e685e910af5eb8fa9e3a1924e7a7c10dabf /docs | |
parent | 21d94efc19618b2049fe135b27659df44f7d0be2 (diff) | |
download | dotty-39286623b29e46b55913431a548e9ffb8ae83c36.tar.gz dotty-39286623b29e46b55913431a548e9ffb8ae83c36.tar.bz2 dotty-39286623b29e46b55913431a548e9ffb8ae83c36.zip |
Change base-url, so dotty.epfl.ch can build master
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 290e9b4d1..51578256b 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,5 +1,5 @@ title: Dotty Documentation -baseurl: "/" +baseurl: "" theme: minima gems: - jekyll-toc |