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