diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-04-03 14:56:29 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-04-03 14:56:29 +0200 |
| commit | f5c220082048f9a7d67548a5619395f97139f088 (patch) | |
| tree | f273df7e2a62a63c6bcac306b416717576fc839f /.gitignore | |
| parent | a8b05409c901bb8db1fa0eed65fba14275ffe132 (diff) | |
| download | dotty-f5c220082048f9a7d67548a5619395f97139f088.tar.gz dotty-f5c220082048f9a7d67548a5619395f97139f088.tar.bz2 dotty-f5c220082048f9a7d67548a5619395f97139f088.zip | |
Fix copy-paste error
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions