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