diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-13 10:58:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-13 10:58:59 +0100 |
commit | e8513e1a465810d965ec41668794e71e0b1c690b (patch) | |
tree | d8d75ae231997fe2d35a99dbdf4fb649d4336589 /compiler/src | |
parent | 8bdc91f7a5fc3efd93b6be255ec1bfb83787c69b (diff) | |
parent | b760a506934fe134222be0a41786f913b53a9008 (diff) | |
download | dotty-e8513e1a465810d965ec41668794e71e0b1c690b.tar.gz dotty-e8513e1a465810d965ec41668794e71e0b1c690b.tar.bz2 dotty-e8513e1a465810d965ec41668794e71e0b1c690b.zip |
Merge pull request #1963 from dotty-staging/topic/dotty-bot
add dotty-bot
Diffstat (limited to 'compiler/src')
0 files changed, 0 insertions, 0 deletions