Revision 7876320f88802b22d4e2daf7eb027dd14175a0f8 authored by Linus Torvalds on 16 September 2018, 18:52:37 UTC, committed by Linus Torvalds on 16 September 2018, 18:52:37 UTC
1 parent 8a104f8
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top