diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-12-31 12:50:56 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-12-31 12:51:06 +0100 |
| commit | a3fe0c6b63b7c2019c80546f100693b261bb2f34 (patch) | |
| tree | c469bcdbad8f4254e6bf0dbf3332418f19e4c78c /src/dotty/tools/io | |
| parent | e56b26b55de6459ae74ff86e2a62dd2d00436ab2 (diff) | |
| download | dotty-a3fe0c6b63b7c2019c80546f100693b261bb2f34.tar.gz dotty-a3fe0c6b63b7c2019c80546f100693b261bb2f34.tar.bz2 dotty-a3fe0c6b63b7c2019c80546f100693b261bb2f34.zip | |
Adding a prototype of the right-hand side of default-getters.
Diffstat (limited to 'src/dotty/tools/io')
0 files changed, 0 insertions, 0 deletions