diff options
| author | odersky <odersky@gmail.com> | 2015-06-21 13:01:56 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-06-21 13:01:56 +0200 |
| commit | 478be16e8d6af6004215682dda4730b78533c543 (patch) | |
| tree | 0289f6f5e7d80861ae141f010759d8114407e6d9 /README.md | |
| parent | a654d206d80e3f88cbd79f71ca84ac842988527f (diff) | |
| parent | f121d8a53cb91451e3635711887d7992f3e28d08 (diff) | |
| download | dotty-478be16e8d6af6004215682dda4730b78533c543.tar.gz dotty-478be16e8d6af6004215682dda4730b78533c543.tar.bz2 dotty-478be16e8d6af6004215682dda4730b78533c543.zip | |
Merge pull request #641 from dotty-staging/change/early-annotations
Evaluate annotations in Namer
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions