diff options
author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2016-07-27 09:25:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-27 09:25:59 +0200 |
commit | 9396006ab3e52727110bb4b46b141e2d7601b15d (patch) | |
tree | 6665d116417dbb4497458621698ee45f7527f207 /src/dotty/tools/dotc/parsing/Parsers.scala | |
parent | 1b0315caaf5edfab2583ea9d2609427ab5cde04e (diff) | |
parent | 8f3b6203d5dd86f84580daa56b3425e1329cfc11 (diff) | |
download | dotty-9396006ab3e52727110bb4b46b141e2d7601b15d.tar.gz dotty-9396006ab3e52727110bb4b46b141e2d7601b15d.tar.bz2 dotty-9396006ab3e52727110bb4b46b141e2d7601b15d.zip |
Merge pull request #1416 from dotty-staging/fix/Xprint-colors
-Xprint-diff-del: more meaningful colors
Diffstat (limited to 'src/dotty/tools/dotc/parsing/Parsers.scala')
0 files changed, 0 insertions, 0 deletions