diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 19:05:38 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 19:05:38 +0200 |
commit | 3ed6ffc77c5bc7ff8f2fb38d31d33c4d02e03c8e (patch) | |
tree | fcca2f8369f50db0ed594d297c41860f9fe135cb /docs/_config.yml | |
parent | 5f6a24c8dc2d2fc8e8c78c6a68d224dd38bf2b8e (diff) | |
download | dotty-3ed6ffc77c5bc7ff8f2fb38d31d33c4d02e03c8e.tar.gz dotty-3ed6ffc77c5bc7ff8f2fb38d31d33c4d02e03c8e.tar.bz2 dotty-3ed6ffc77c5bc7ff8f2fb38d31d33c4d02e03c8e.zip |
Fix gh pages config file
Diffstat (limited to 'docs/_config.yml')
-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..d32781d9a 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,5 +1,5 @@ title: Dotty Documentation -baseurl: "/" +baseurl: "/dotty" theme: minima gems: - jekyll-toc |