Revision 7111951b8d4973bda27ff663f2cf18b663d15b48 authored by Linus Torvalds on 29 March 2020, 22:25:41 UTC, committed by Linus Torvalds on 29 March 2020, 22:25:41 UTC
1 parent 570203e
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top