diff options
| author | odersky <odersky@gmail.com> | 2016-09-18 12:59:36 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-18 12:59:36 +0300 |
| commit | a062bac8923700966a260b3f6d025221dce0b5a7 (patch) | |
| tree | 4c1f4b5dec8a3e04385b6288898125c8333e86c2 /project/plugins.sbt | |
| parent | c420b4cc0573e88bf301d4e020e2ad91b26806d0 (diff) | |
| parent | 440eddd665d043bd609c3749b5cd5606cd5d4e3e (diff) | |
| download | dotty-a062bac8923700966a260b3f6d025221dce0b5a7.tar.gz dotty-a062bac8923700966a260b3f6d025221dce0b5a7.tar.bz2 dotty-a062bac8923700966a260b3f6d025221dce0b5a7.zip | |
Merge pull request #1522 from dotty-staging/fix-#1503
Fix #1503: be more careful where to insert apply
Diffstat (limited to 'project/plugins.sbt')
0 files changed, 0 insertions, 0 deletions