diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-14 13:36:36 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-03-14 13:36:36 +0100 |
commit | 8b2a63fa3ce33e271c5c8ba92253e4f412f18a9b (patch) | |
tree | 556d8850de4c668450b44785ecc993b6bec007e1 /.gitignore | |
parent | db950e5e168f6fd71a367da343e352139e8d653e (diff) | |
download | dotty-8b2a63fa3ce33e271c5c8ba92253e4f412f18a9b.tar.gz dotty-8b2a63fa3ce33e271c5c8ba92253e4f412f18a9b.tar.bz2 dotty-8b2a63fa3ce33e271c5c8ba92253e4f412f18a9b.zip |
Stop running phases after errors were encountered
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions