diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-16 22:07:36 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:34 +0200 |
| commit | 30b54109e3f535b417249057c2a548808082e06b (patch) | |
| tree | c4c82691ca65684ea5104994c904ef2a7df73417 /src/strawman/collections | |
| parent | 15dfb56d63a893c5c1e34a8566004085a617c28b (diff) | |
| download | dotty-30b54109e3f535b417249057c2a548808082e06b.tar.gz dotty-30b54109e3f535b417249057c2a548808082e06b.tar.bz2 dotty-30b54109e3f535b417249057c2a548808082e06b.zip | |
Factor out explanation header to Reporter
Diffstat (limited to 'src/strawman/collections')
0 files changed, 0 insertions, 0 deletions