Revision 609488bc979f99f805f34e9a32c1e3b71179d10b authored by Linus Torvalds on 28 July 2019, 19:47:02 UTC, committed by Linus Torvalds on 28 July 2019, 19:47:02 UTC
1 parent c622fc5
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top