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