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