Revision 16f73eb02d7e1765ccab3d2018e0bd98eb93d973 authored by Linus Torvalds on 30 July 2017, 19:40:36 UTC, committed by Linus Torvalds on 30 July 2017, 19:40:36 UTC
1 parent f137e0b
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top