diff options
author | Martin Odersky <odersky@gmail.com> | 2013-05-23 11:18:53 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-05-23 11:18:53 +0200 |
commit | db39f1a5f5062f00e09e20a897e8f6d26e1e4193 (patch) | |
tree | f367993fb537210f2b297c7ec8ec0be857b3603b /.gitattributes | |
parent | 66fe5aaba6d5f7ae3694bcc942487cd1fe00c533 (diff) | |
download | dotty-db39f1a5f5062f00e09e20a897e8f6d26e1e4193.tar.gz dotty-db39f1a5f5062f00e09e20a897e8f6d26e1e4193.tar.bz2 dotty-db39f1a5f5062f00e09e20a897e8f6d26e1e4193.zip |
Moved TempTrees to Trees, get automatically flattened in transforms.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions