Revision 5476338c31071d657e95149a3d0ce134cec3f2e5 authored by Ben Hutchings on 02 May 2017, 15:21:44 UTC, committed by Ben Hutchings on 02 May 2017, 15:21:44 UTC
0 parent
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top