tree c0068bac9e693dc440db39dbf13b332718e9aca5
parent 24cf77ecda02b3f49face01a14c62182ef113d7d
author Kevin Moore <kevmoo@google.com> 1582734149 -0800
committer Kevin Moore <kevmoo@google.com> 1582734159 -0800

analysis_options: remove lints duplicated by pkg:pedantic