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
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
Computing file changes ...