diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-11-07 17:05:14 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-11-07 17:05:14 +0100 |
| commit | 0d9dd7c7e366be71ca795b89b48def8b0d201a05 (patch) | |
| tree | 226f41da3259288722cb6bc0a429ffb084690416 /.gitignore | |
| parent | 913f76a482efc733c01dd262a72de78e795d4b7b (diff) | |
| download | dotty-0d9dd7c7e366be71ca795b89b48def8b0d201a05.tar.gz dotty-0d9dd7c7e366be71ca795b89b48def8b0d201a05.tar.bz2 dotty-0d9dd7c7e366be71ca795b89b48def8b0d201a05.zip | |
Use inline flag instead of @inline annotation
Convert `@inline` annotations to `inline` flags, not the
other way round as was done before.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions