diff options
author | odersky <odersky@gmail.com> | 2016-09-26 10:09:15 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-26 10:09:15 +0300 |
commit | ec28ea175c32ee192a28139ee88f39afbd30d159 (patch) | |
tree | 0ebb4bc5774d1ea56347713353d3e0844d2ed57e /test | |
parent | b2b475d2931f71220d0ed5390ec77608ca3d150e (diff) | |
parent | d096f004b5e6ad88ec406b4ca0163a9cdd4fcb17 (diff) | |
download | dotty-ec28ea175c32ee192a28139ee88f39afbd30d159.tar.gz dotty-ec28ea175c32ee192a28139ee88f39afbd30d159.tar.bz2 dotty-ec28ea175c32ee192a28139ee88f39afbd30d159.zip |
Merge pull request #1538 from dotty-staging/simplify-trees
Simplify trees
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions