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 /bot | |
| parent | 5c573d3b5b9f294920bdd7a142219a967c926bb4 (diff) | |
| download | dotty-c15b83be52ec2db7369dbdfa3db0044b3de9ff76.tar.gz dotty-c15b83be52ec2db7369dbdfa3db0044b3de9ff76.tar.bz2 dotty-c15b83be52ec2db7369dbdfa3db0044b3de9ff76.zip | |
Add cleanup hooks to SummaryReporter
Diffstat (limited to 'bot')
0 files changed, 0 insertions, 0 deletions