Revision 02d7b76344dba089489c88bbe15203aa1b9e9428 authored by Phil Elwell on 03 January 2017, 21:27:46 UTC, committed by popcornmix on 08 January 2017, 11:42:14 UTC
1 parent 271ab04
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top