Revision d5226fa6dbae0569ee43ecfc08bdcd6770fc4755 authored by Linus Torvalds on 27 January 2020, 00:23:03 UTC, committed by Linus Torvalds on 27 January 2020, 00:23:03 UTC
1 parent 5cf9ad0
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top