diff options
author | odersky <odersky@gmail.com> | 2014-03-12 17:31:33 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2014-03-12 17:31:33 +0100 |
commit | db950e5e168f6fd71a367da343e352139e8d653e (patch) | |
tree | cc9e6b9d36bbd66c8454406cc9e28f5011ef2272 /.gitignore | |
parent | 6e7dd1b0e18bcdd767ea5625f03094bc41a049bd (diff) | |
parent | 66291018e0512b2d4e7d6bac017ab47b95939275 (diff) | |
download | dotty-db950e5e168f6fd71a367da343e352139e8d653e.tar.gz dotty-db950e5e168f6fd71a367da343e352139e8d653e.tar.bz2 dotty-db950e5e168f6fd71a367da343e352139e8d653e.zip |
Merge pull request #61 from odersky/fixes-t00xx
Fixes t00xx
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions