.semgrep.yml
branch0.12
changeset 12760 cd7da871ce10
parent 11293 c6965f3c321c
child 12721 898e99f49d80
equal deleted inserted replaced
12728:5b5b428d67e2 12760:cd7da871ce10