diff options
author | Martin Odersky <odersky@gmail.com> | 2015-11-09 09:27:56 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-11-09 09:28:02 +0100 |
commit | 93753dc557c0b628391f706406bf1f942ec053bd (patch) | |
tree | 5a04103c02d06eec05f551a0731fdabdeb791a10 /out | |
parent | 0650ec0d64f93136d5aa99c5850eedb07dab77a3 (diff) | |
download | dotty-93753dc557c0b628391f706406bf1f942ec053bd.tar.gz dotty-93753dc557c0b628391f706406bf1f942ec053bd.tar.bz2 dotty-93753dc557c0b628391f706406bf1f942ec053bd.zip |
Avoid spurious procedure syntax migration warning
Diffstat (limited to 'out')
0 files changed, 0 insertions, 0 deletions