diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-10 09:15:42 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-11 19:21:02 +0200 |
| commit | da344548d7425368ccd5bf7a98e522d00cdc95aa (patch) | |
| tree | db41c05994d586d49dba27d5728cd70fd09ac67e /.gitignore | |
| parent | 2f01c7d1ba4ab4d542c3838e184a5ac9735578f4 (diff) | |
| download | dotty-da344548d7425368ccd5bf7a98e522d00cdc95aa.tar.gz dotty-da344548d7425368ccd5bf7a98e522d00cdc95aa.tar.bz2 dotty-da344548d7425368ccd5bf7a98e522d00cdc95aa.zip | |
Drop dotty.language from Definitions
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions