diff options
author | odersky <odersky@gmail.com> | 2016-02-06 18:01:45 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2016-02-06 18:01:45 +0100 |
commit | d0056132485c10e0e408668e177a8452c5112d3b (patch) | |
tree | ba4b08f71216dd9c18166db9060bfb9ab2eda871 /LICENSE.md | |
parent | ffcc27baddb02f3c92e9d22ddfb56d0d30f277d8 (diff) | |
parent | b33babc2398e5013820e21568713fdb6c15aa6fa (diff) | |
download | dotty-d0056132485c10e0e408668e177a8452c5112d3b.tar.gz dotty-d0056132485c10e0e408668e177a8452c5112d3b.tar.bz2 dotty-d0056132485c10e0e408668e177a8452c5112d3b.zip |
Merge pull request #1057 from dotty-staging/fix/hide-stacktraces
Hide stack traces behind -Ydebug
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions