diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-26 16:53:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-26 16:53:59 +0200 |
commit | 557d448c626dd3fc93943523e6e28cf04288d848 (patch) | |
tree | d12264d1b56c32280d94574fd3c13056dab70bfa /src/dotty/tools/dotc/core | |
parent | aae401977959940955479cfc65bf437820e3e395 (diff) | |
parent | d89062992d83bfb8ff4f9862dbb7f6ee662e7519 (diff) | |
download | dotty-557d448c626dd3fc93943523e6e28cf04288d848.tar.gz dotty-557d448c626dd3fc93943523e6e28cf04288d848.tar.bz2 dotty-557d448c626dd3fc93943523e6e28cf04288d848.zip |
Merge pull request #1631 from felixmulder/topic/fix-nightly
Fix nightly builds
Diffstat (limited to 'src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions