diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2015-12-01 16:11:29 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2015-12-01 16:11:29 +0100 |
| commit | de529acd026419fba6897073881c8d9da7c5ae32 (patch) | |
| tree | c0f6997d67f37938a83b512e83492d31a2623577 /project/build.properties | |
| parent | 112564655f4f23552cb9ae48d0fdb7d8ac5b725c (diff) | |
| parent | 9c2b838fba4de910ce72230f04266d19ff510398 (diff) | |
| download | dotty-de529acd026419fba6897073881c8d9da7c5ae32.tar.gz dotty-de529acd026419fba6897073881c8d9da7c5ae32.tar.bz2 dotty-de529acd026419fba6897073881c8d9da7c5ae32.zip | |
Merge pull request #987 from dotty-staging/tasty-dotc-reporting-test
Removed tasty_dotc_reporting test due to issue #986
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions