diff options
author | odersky <odersky@gmail.com> | 2016-11-07 19:08:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-07 19:08:05 +0100 |
commit | 5cef7a9098422dd568e9bc7e8eb5c9e4f04d4396 (patch) | |
tree | 33fa76c475d803f1b8bd0b0cb7275df2d87cb135 /docs/_layouts | |
parent | d1e0d3bc7096022d03928b78c33f9ffabae16aa5 (diff) | |
parent | 1fec582b4e85de715e92ccb621ac55e02874558e (diff) | |
download | dotty-5cef7a9098422dd568e9bc7e8eb5c9e4f04d4396.tar.gz dotty-5cef7a9098422dd568e9bc7e8eb5c9e4f04d4396.tar.bz2 dotty-5cef7a9098422dd568e9bc7e8eb5c9e4f04d4396.zip |
Merge pull request #1607 from felixmulder/topic/fix-inline-untyped
Fix #1605: don't inline methods that have errors
Diffstat (limited to 'docs/_layouts')
0 files changed, 0 insertions, 0 deletions