diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-05-22 19:22:28 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-05-22 19:22:28 +0200 |
| commit | 66fe5aaba6d5f7ae3694bcc942487cd1fe00c533 (patch) | |
| tree | 87466b4ab10613bb2c174f01c6185fd268a3cd35 /.gitattributes | |
| parent | 965a62d4a165da7e5a53c9afdba3175e10fe714b (diff) | |
| download | dotty-66fe5aaba6d5f7ae3694bcc942487cd1fe00c533.tar.gz dotty-66fe5aaba6d5f7ae3694bcc942487cd1fe00c533.tar.bz2 dotty-66fe5aaba6d5f7ae3694bcc942487cd1fe00c533.zip | |
Eliminating Trees.TypedTree and Trees.UntypedTree
Replaced by tpd.Tree and untpd.Tree.
Also some cleanups in RefinedPrinters.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions