diff options
| author | odersky <odersky@gmail.com> | 2017-01-30 12:05:02 +1100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-30 12:05:02 +1100 |
| commit | d087448fdffff8f64a23d9db39445455cddc2fc6 (patch) | |
| tree | c1e01cce8a76a5e66ba2a54472bc899ae41ca405 /docs/.gitignore | |
| parent | 6e8933ccc40bbfe1a92c32c2d8314fd6facef12a (diff) | |
| parent | 56fb15888fb98e3a6a535f5734bb8ce82fcd76c3 (diff) | |
| download | dotty-d087448fdffff8f64a23d9db39445455cddc2fc6.tar.gz dotty-d087448fdffff8f64a23d9db39445455cddc2fc6.tar.bz2 dotty-d087448fdffff8f64a23d9db39445455cddc2fc6.zip | |
Merge pull request #1913 from dotty-staging/fix-#1750
Fix #1750: Alternative fix for cyclic references due to illegal class overrides
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions