diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-17 16:38:06 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-02-17 16:38:06 +0100 |
commit | 80511914713237de894f896da7397965e52134a7 (patch) | |
tree | 0413b633ef8baafe30eb86188c59b78a31fca2ba /doc-tool | |
parent | 6df672c7e7be65d7be1cd6524c610aed4f35178c (diff) | |
download | dotty-80511914713237de894f896da7397965e52134a7.tar.gz dotty-80511914713237de894f896da7397965e52134a7.tar.bz2 dotty-80511914713237de894f896da7397965e52134a7.zip |
Fix #1991: Use classtag where available in unapply
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions