diff options
| author | odersky <odersky@gmail.com> | 2015-12-21 15:54:20 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-12-21 15:54:20 +0100 |
| commit | 4163b249428d1f27843ecc4e5b7c9c7dac0698dd (patch) | |
| tree | 4630f7bc0ee3d74510aa42987f383778b6a7a066 /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | 13513b4a78ffb60472822792673dffdab7fe9194 (diff) | |
| parent | 9675b84a4dd82a3705990e8474299725861424ea (diff) | |
| download | dotty-4163b249428d1f27843ecc4e5b7c9c7dac0698dd.tar.gz dotty-4163b249428d1f27843ecc4e5b7c9c7dac0698dd.tar.bz2 dotty-4163b249428d1f27843ecc4e5b7c9c7dac0698dd.zip | |
Merge pull request #1001 from dotty-staging/change-distribute-or
Change distribute or
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
0 files changed, 0 insertions, 0 deletions