diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-03 17:12:10 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-12 11:21:57 +0200 |
commit | c15b83be52ec2db7369dbdfa3db0044b3de9ff76 (patch) | |
tree | 563041875bb01e4ee8abaa62efe098b7eae33cfa /.gitignore | |
parent | 5c573d3b5b9f294920bdd7a142219a967c926bb4 (diff) | |
download | dotty-c15b83be52ec2db7369dbdfa3db0044b3de9ff76.tar.gz dotty-c15b83be52ec2db7369dbdfa3db0044b3de9ff76.tar.bz2 dotty-c15b83be52ec2db7369dbdfa3db0044b3de9ff76.zip |
Add cleanup hooks to SummaryReporter
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions