Revision 7089db84e356562f8ba737c29e472cc42d530dbc authored by Linus Torvalds on 12 February 2017, 21:03:20 UTC, committed by Linus Torvalds on 12 February 2017, 21:03:20 UTC
1 parent 1ce4284
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top