diff options
author | Martin Odersky <odersky@gmail.com> | 2014-04-29 16:15:39 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:51:46 +0200 |
commit | 15345390b10e60d0cffd0c1eb01a61a9ef28b6d1 (patch) | |
tree | 45dd24aaeaf2bfcff4c681792e737af8a918ab5c /.gitattributes | |
parent | ef8f24203f4a3ef75d0b8e45a9dd9470bd474e7d (diff) | |
download | dotty-15345390b10e60d0cffd0c1eb01a61a9ef28b6d1.tar.gz dotty-15345390b10e60d0cffd0c1eb01a61a9ef28b6d1.tar.bz2 dotty-15345390b10e60d0cffd0c1eb01a61a9ef28b6d1.zip |
Excluding <:< from eligible candidates for views.
This is an opimization to save on unncessessary typed implicits.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions