Revision 0b07194bb55ed836c2cc7c22e866b87a14681984 authored by Linus Torvalds on 29 October 2017, 20:58:38 UTC, committed by Linus Torvalds on 29 October 2017, 20:58:38 UTC
1 parent 19e1219
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top