Revision 2e6e902d185027f8e3cb8b7305238f7e35d6a436 authored by Linus Torvalds on 25 November 2018, 22:19:31 UTC, committed by Linus Torvalds on 25 November 2018, 22:19:31 UTC
1 parent d6d460b
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top