diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-10-23 14:34:34 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-10-23 14:34:34 +0200 |
commit | 20cbcca0ec49a3d4de1021d261cc4a35d242925b (patch) | |
tree | 7f3bb5f12b9d16e3c78d402b3277b978463837d9 /src | |
parent | bcb652bc562caadc828ad42236c6d267481fd751 (diff) | |
download | dotty-20cbcca0ec49a3d4de1021d261cc4a35d242925b.tar.gz dotty-20cbcca0ec49a3d4de1021d261cc4a35d242925b.tar.bz2 dotty-20cbcca0ec49a3d4de1021d261cc4a35d242925b.zip |
Test that #1614 remains fixed.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions