diff options
author | Martin Odersky <odersky@gmail.com> | 2015-11-30 20:11:06 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:19 +0100 |
commit | cf794033ae42df0251fe2bc60051cb7dafb38023 (patch) | |
tree | 24042d59821315a6fb8ec399d03c6203d738ac6b /.gitattributes | |
parent | 7e63af3777c0ad5649d4ff60facbfdfa02b4b874 (diff) | |
download | dotty-cf794033ae42df0251fe2bc60051cb7dafb38023.tar.gz dotty-cf794033ae42df0251fe2bc60051cb7dafb38023.tar.bz2 dotty-cf794033ae42df0251fe2bc60051cb7dafb38023.zip |
Drop requirement that an isRef type cannot be refined.
It seems to complciate things with no real purpose.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions