diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-10 15:18:53 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-10 15:18:53 +0100 |
commit | 93d3f1201e00c0436d2b2bcd3445ba218e0e1a89 (patch) | |
tree | 562b3c4090abce6500da4f8c7ff4250f40e212b1 /.gitattributes | |
parent | 28c2e04dd33b6389a44460f977a97b8691265994 (diff) | |
download | dotty-93d3f1201e00c0436d2b2bcd3445ba218e0e1a89.tar.gz dotty-93d3f1201e00c0436d2b2bcd3445ba218e0e1a89.tar.bz2 dotty-93d3f1201e00c0436d2b2bcd3445ba218e0e1a89.zip |
Make sure messages are lazily evaluated until `report` in `Reporter`
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions