chiark / gitweb /
reporter: introduce TooManyWarnings
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 15 Aug 2021 23:57:23 +0000 (00:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 15 Aug 2021 23:57:23 +0000 (00:57 +0100)
commit0d1c6a752c831816de8850927dc9a521a7e8bcee
tree338a82d1203ea1afcab79d0a4b014b674cdf29b9
parent7acb1784a9324f7ba2c092953d3c489491ab66cf
reporter: introduce TooManyWarnings

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/reporter.rs