xref: /linux/.cocciconfig (revision 132db93572821ec2fdf81e354cc40f558faf7e4f) 
1[spatch]
2	options = --timeout 200
3	options = --use-gitgrep
4