diff options
author | odersky <odersky@gmail.com> | 2016-11-10 12:07:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-10 12:07:24 +0100 |
commit | 28c2e04dd33b6389a44460f977a97b8691265994 (patch) | |
tree | e138f794cd484509e8379934b5c538b5fa15d455 /bridge/src/main | |
parent | ab652d191652eb471e0d7511e1a831f5a52b75fe (diff) | |
parent | 2e02b292cca07f8b619aba0e03dca878e22c415f (diff) | |
download | dotty-28c2e04dd33b6389a44460f977a97b8691265994.tar.gz dotty-28c2e04dd33b6389a44460f977a97b8691265994.tar.bz2 dotty-28c2e04dd33b6389a44460f977a97b8691265994.zip |
Merge pull request #1677 from dotty-staging/fix-#1647
Use inline flag instead of @inline annotation
Diffstat (limited to 'bridge/src/main')
0 files changed, 0 insertions, 0 deletions