.semgrep.yml
changeset 13432 dc1ad5f3f597
parent 12721 898e99f49d80
equal deleted inserted replaced
13431:9677df320992 13432:dc1ad5f3f597