diff options
author | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-10-07 16:22:32 +0200 |
---|---|---|
committer | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-10-07 16:22:32 +0200 |
commit | ddbbb8350ec210d63b552ee133cf872ff95eaea2 (patch) | |
tree | b15dd8498b4dbc3ba249de63040fffe8ae2fe1f7 /sandbox | |
parent | e79ec993834d019d27e9337ac7604d0bb1ea7f78 (diff) | |
download | dotty-ddbbb8350ec210d63b552ee133cf872ff95eaea2.tar.gz dotty-ddbbb8350ec210d63b552ee133cf872ff95eaea2.tar.bz2 dotty-ddbbb8350ec210d63b552ee133cf872ff95eaea2.zip |
Fix non-spurious unchecked warning
Diffstat (limited to 'sandbox')
0 files changed, 0 insertions, 0 deletions