diff options
author | odersky <odersky@gmail.com> | 2015-10-27 10:10:15 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-10-27 10:10:15 +0100 |
commit | c1facd5c40fa7208d7549e6727e6e7498d4d3f34 (patch) | |
tree | 5b3beb65682e12c729c68ecd2b61b9a4d16bc2f8 /README.md | |
parent | 51ab200f97f11ac74270f6925028ba4d58284e7b (diff) | |
parent | 065a0026924f722e9844c8e314180bb4cebca236 (diff) | |
download | dotty-c1facd5c40fa7208d7549e6727e6e7498d4d3f34.tar.gz dotty-c1facd5c40fa7208d7549e6727e6e7498d4d3f34.tar.bz2 dotty-c1facd5c40fa7208d7549e6727e6e7498d4d3f34.zip |
Merge pull request #869 from dotty-staging/fix-#866
Fix #866
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions