diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-04 15:51:15 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:37 +0200 |
commit | e754a2d790e0cf5ab2c1480166a42cbb908add0f (patch) | |
tree | 7ca2847e39d1b487b060a188933ff1678a0ae806 /.gitignore | |
parent | d2b620541b18bb50d2a2b89194e1778c64bba567 (diff) | |
download | dotty-e754a2d790e0cf5ab2c1480166a42cbb908add0f.tar.gz dotty-e754a2d790e0cf5ab2c1480166a42cbb908add0f.tar.bz2 dotty-e754a2d790e0cf5ab2c1480166a42cbb908add0f.zip |
Change `typeDiff` to highlight changes less than 50%
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions