Revision 7daf201d7fe8334e2d2364d4e8ed3394ec9af819 authored by Linus Torvalds on 24 June 2018, 12:54:29 UTC, committed by Linus Torvalds on 24 June 2018, 12:54:29 UTC
1 parent c81b995
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top