Revision 549738f15da0e5a00275977623be199fbbf7df50 authored by Linus Torvalds on 04 October 2020, 23:04:34 UTC, committed by Linus Torvalds on 04 October 2020, 23:04:34 UTC
1 parent 22fbc03
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top