diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-08 14:34:10 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-19 16:56:30 +0100 |
| commit | eb1908a9f2c61895cabe70c0ac0ebbe8ef14fcea (patch) | |
| tree | cd0085bf1145080d87326e45617c49888b8448c5 /src/dotty/tools/dotc/core/Flags.scala | |
| parent | 6a93dd0dea9833ecba70d09a414a650227c03fc9 (diff) | |
| download | dotty-eb1908a9f2c61895cabe70c0ac0ebbe8ef14fcea.tar.gz dotty-eb1908a9f2c61895cabe70c0ac0ebbe8ef14fcea.tar.bz2 dotty-eb1908a9f2c61895cabe70c0ac0ebbe8ef14fcea.zip | |
New utility method: Reporter#errorOrMigrationWarning
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
0 files changed, 0 insertions, 0 deletions