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 /src | |
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 'src')
0 files changed, 0 insertions, 0 deletions