diff options
author | Maria Matejka <mq@ucw.cz> | 2019-08-16 21:15:49 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2020-05-01 15:19:12 +0200 |
commit | b7482209065a03c3186d74e5e4129539ce7a3ce4 (patch) | |
tree | e3306c5a1559cd6663907c81f9cf52414768d20e /proto | |
parent | 9e64ac4b7c23aa3b8b9149794c05305315cf31e5 (diff) |
Static check: Don't report dead code
Diffstat (limited to 'proto')
0 files changed, 0 insertions, 0 deletions