diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:57:06 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:58:08 +0100 |
commit | f179c9279f9f9a3bf9ef342900590e761855a696 (patch) | |
tree | c47f3e43d14d8265cd3bedbd2aafe84441f310e8 /docs/_config.yml | |
parent | e1f2ce54cdad3cc2b11070dbf9e288ce34f5e731 (diff) | |
download | dotty-f179c9279f9f9a3bf9ef342900590e761855a696.tar.gz dotty-f179c9279f9f9a3bf9ef342900590e761855a696.tar.bz2 dotty-f179c9279f9f9a3bf9ef342900590e761855a696.zip |
Fix #1675: add `edit on github` button
Diffstat (limited to 'docs/_config.yml')
-rw-r--r-- | docs/_config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/_config.yml b/docs/_config.yml index 51578256b..1bdfb808a 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,4 +1,5 @@ title: Dotty Documentation +repository_url: "http://github.com/lampepfl/dotty" baseurl: "" theme: minima gems: |