diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-23 10:39:10 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-23 10:39:10 +0200 |
| commit | d5b14bf614fe9f25d10f63b71ca081a828562169 (patch) | |
| tree | be0a01dd3e02d87c5008ef325333dc263c44641d /src/dotty/tools | |
| parent | c61892842cebdee0dbb0c7a80bb468ae20ea57e1 (diff) | |
| download | dotty-d5b14bf614fe9f25d10f63b71ca081a828562169.tar.gz dotty-d5b14bf614fe9f25d10f63b71ca081a828562169.tar.bz2 dotty-d5b14bf614fe9f25d10f63b71ca081a828562169.zip | |
Revert test to original
Uncomment two lines that were commented out by accident.
Diffstat (limited to 'src/dotty/tools')
0 files changed, 0 insertions, 0 deletions